1. The Lambda Calculus;Barendregt,1981
2. Modeling sharing and recursion for weak reduction strategies using explicit substitution;Z.-E.-A. Benaissa,1996
3. A provably time and space efficient implementation of nesl;Blelloch;In Proc. ICFP'96,1996
4. Higher Order Operational Techniques in Semantics.,1998
5. A type based sharing analysis for update avoidance and optimisation;Gustavsson;In Proc. ICFP'98,1998