\begin{thebibliography}{1}

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

\end{thebibliography}
