\begin{thebibliography}{1}

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

\bibitem{life}
\hak.
\newblock An introduction to {LIFE}---{P}rogramming with logic, inheritance,
  functions, and equations.
\newblock In Dale Miller, editor, {\em Proceedings of the Symposium on Logic
  Programming}. The MIT Press, 1993.

\bibitem{jacc}
\hak.
\newblock \jacc---{J}ust another compiler compiler.\footnote{\jacc\ is a
  java-based software that generates a \LALR(1) parsing automaton from a
  familiar \yacc-like action-annotated context-free grammar. it provides
  several useful extensions to \yacc's parsing capabilities (\eg, dynamic
  operator definitions \textit{\`a la} \prolog, non-terminal subclassing,
  \etc., \ldots). \jacc\ is the property of \ilog\ but is not part of the
  software products sold and/or maintained by \ilog---it is not this author's
  interest to commercialize \jacc\ (at least not in the immediate future and in
  its current state), but upon specific request, and on a per-case basis,
  compiled java classes (not sources) for \jacc\ may be made available on an
  \textit{``as is''} basis if it is worth \ilog's and this author's time to do
  so.}
\newblock Optimization Group Technical Report \textit{forthcoming}, \ilog,
  Gentilly, France, forthcoming 2002.

\bibitem{secd}
Peter Landin.
\newblock The mechanical evaluation of expressions.
\newblock {\em Communications of the ACM}, 1964.

\bibitem{leroy-boxing}
Xavier Leroy.
\newblock Boxing and unboxing in polymorphically typed languages.
\newblock In {\em Proceedings of the ACM Conference on Principles of
  Programming Languages (POPL'92)}, 1992.

\bibitem{caml}
Pierre Weiss and Xavier Leroy.
\newblock The {CAML} compiler.
\newblock Research report, INRIA, Rocquencourt, France, 1994.

\end{thebibliography}