\begin{thebibliography}{10}

\bibitem{Aho86a}
Alfred~V. Aho, Ravi Sethi, and Jeffrey~D. Ullman.
\newblock {\em Compilers: Principles, Techniques and Tools}.
\newblock Addison Wesley, Reading, Massachusetts, USA, 1986.

\bibitem{Augustsson84}
Lennart Augustsson.
\newblock A compiler for lazy ml.
\newblock In {\em Proc. 1984 ACM Conf. on Lisp and Functional Programming,
  Austin, Texas}, pages 218--227. ACM, August 1984.

\bibitem{Damas82}
L.~Damas and R.~Milner.
\newblock {Principle Type Schemes for Functional Programs}.
\newblock In {\em {Proceedings of the 9th ACM Symposium on Principles of
  Programming Languages}}, pages {207--212}, 1982.

\bibitem{Gupta90}
{Gupta, Shail Aditya}.
\newblock {An Incremental Type Inference System for the Programming Language
  Id}.
\newblock {Technical Report} MIT/LCS/TR-488, {Laboratory for Computer Science},
  {545 Technology Square, MIT, Cambridge, MA 02139}, November 1990.
\newblock {First published as the author's Master's thesis}.

\bibitem{Hicks90}
Jamey Hicks.
\newblock Id compiler back end for ets and monsoon.
\newblock Technical report, Laboratory For Computer Science, 1990.

\bibitem{Nikhil90}
Rishiyur~S. Nikhil.
\newblock Id version 90.0: Reference manual.
\newblock Technical report, MIT Laboratory for Computer Science, July 1990.

\bibitem{PJ87}
Simon Peyton-Jones.
\newblock {\em The Implementation of Functional Programming Languages}.
\newblock Prentice Hall, 1987.

\bibitem{Steele90}
Guy~L. Steele~Jr.
\newblock {\em Common Lisp, The Language}.
\newblock Digital Press, 1990.
\newblock The Common Lisp Definition.

\bibitem{Traub86}
Kenneth~R. Traub.
\newblock {A Compiler for the MIT Tagged-Token Dataflow Architecture}.
\newblock Technical Report LCS TR-370, MIT Laboratory for Computer Science, 545
  Technology Square, Cambridge, MA 02139, August 1986.

\bibitem{DFCS}
Kenneth~R. Traub, James Hicks, and Shail Aditya.
\newblock A dataflow compiler substrate.
\newblock Technical Report CSG Memo 261-1, MIT Laboratory for Computer Science,
  545 Technology Square, Cambridge, MA 02139, January 1991.
\newblock Revised by Jamey Hicks and Shail Aditya.

\end{thebibliography}
