@ARTICLE{secd
	, AUTHOR = {Peter Landin}
	, TITLE = {The Mechanical Evaluation of Expressions}
	, JOURNAL = {Communications of the ACM}
	, YEAR = {1964}
	}

@ARTICLE{fam
	, AUTHOR = {Luca Cardelli}
	, TITLE = {The Functional Abstract Machine}
	, JOURNAL = {Polymorphism, the ML/LCF/Hope Newsletter}
	, YEAR = {1983}
	, VOLUME = {I}
	, NUMBER = {1}
	, NOTE = {(Also Technical Report TR-107, AT\&T Bell Laboratories,
		April 1983.)}
	}

@TECHREPORT{jacc
	, AUTHOR = {\hak}
	, TITLE = {\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.}}

	, INSTITUTION = {\ilog}
	, YEAR = {2002}
	, TYPE = {Optimization Group Technical Report}
	, NUMBER = {\textit{forthcoming}}
	, ADDRESS = {Gentilly, France}
	, MONTH = {forthcoming}
	}

@INPROCEEDINGS{life
	, AUTHOR = {\hak}
	, TITLE = {An introduction to {LIFE}---{P}rogramming with Logic,
		Inheritance, Functions, and Equations}
	, BOOKTITLE = {Proceedings of the Symposium on Logic Programming}
	, YEAR = {1993}
	, EDITOR = {Dale Miller}
	, PUBLISHER = {The MIT Press}
	}

@INPROCEEDINGS{leroy-boxing
	, AUTHOR = {Xavier Leroy}
	, TITLE = {Boxing and unboxing in polymorphically typed languages}
	, BOOKTITLE = {Proceedings of the ACM Conference on Principles of Programming Languages
		(POPL'92)}
	, YEAR = {1992}
	}

@TECHREPORT{caml
	, AUTHOR = {Pierre Weiss and Xavier Leroy}
	, TITLE = {The {CAML} Compiler}
	, INSTITUTION = {INRIA}
	, YEAR = {1994}
	, TYPE = {Research Report}
	, ADDRESS = {Rocquencourt, France}
	}