For the curious, I believe the relevant reference is
• Lawrence Paulson. A higher-order implementation of rewriting. Science of
Computer Programming, 3(2):119–149, August 1983.
Michael
On 29 May 2016, at 01:08, Rob Arthan
<[email protected]<mailto:[email protected]>> wrote:
I was trying to find a reference for the introduction of conversions in LCF.
The link below is interesting, but not what I was looking for :-).
http://www.lcfconversions.com<http://www.lcfconversions.com/>
Regards,
Rob.
------------------------------------------------------------------------------
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are
consuming the most bandwidth. Provides multi-vendor support for NetFlow,
J-Flow, sFlow and other flows. Make informed decisions using capacity
planning reports.
https://ad.doubleclick.net/ddm/clk/305295220;132659582;e_______________________________________________
hol-info mailing list
[email protected]<mailto:[email protected]>
https://lists.sourceforge.net/lists/listinfo/hol-info
________________________________
The information in this e-mail may be confidential and subject to legal
professional privilege and/or copyright. National ICT Australia Limited accepts
no liability for any damage caused by this email or its attachments.
------------------------------------------------------------------------------
What NetFlow Analyzer can do for you? Monitors network bandwidth and traffic
patterns at an interface-level. Reveals which users, apps, and protocols are
consuming the most bandwidth. Provides multi-vendor support for NetFlow,
J-Flow, sFlow and other flows. Make informed decisions using capacity
planning reports. https://ad.doubleclick.net/ddm/clk/305295220;132659582;e
_______________________________________________
hol-info mailing list
[email protected]
https://lists.sourceforge.net/lists/listinfo/hol-info
