Bibliography

1

Luca Cardelli.
The functional abstract machine.
Polymorphism, the ML/LCF/Hope Newsletter, I(1), 1983.
(Also Technical Report TR-107, AT&T Bell Laboratories, April 1983.).

2

Hassan A¨it-Kaci.
An introduction to LIFE--Programming with logic, inheritance, functions, and equations.
In Dale Miller, editor, Proceedings of the Symposium on Logic Programming. The MIT Press, 1993.

3

Hassan A¨it-Kaci.
Jacc--Just another compiler compiler^B.1
Optimization Group Technical Report forthcoming, ILOG, Gentilly, France, forthcoming 2002.

4

Peter Landin.
The mechanical evaluation of expressions.
Communications of the ACM, 1964.