\begin{thebibliography}{10}

\bibitem{Aho74}
Alfred~V. Aho, John~E. Hopcroft, and Jeffrey~D. Ullman.
\newblock {\em The Design and Analysis of Computer Algorithms}.
\newblock Addison-Wesley, 1974.

\bibitem{SML-NJ89}
Andrew~W. Appel and David~B. MacQueen.
\newblock {\em {Standard ML Reference Manual}}.
\newblock {Princeton University and AT\&T Bell Laboratories}, {Preliminary}
  edition, 1989.
\newblock {Distributed along with the Standard ML of New Jersey Compiler}.

\bibitem{Clement86}
D.~Cl\'{e}ment, J.~Despeyroux, T.~Despeyroux, and G.~Kahn.
\newblock {A Simple Applicative Language: Mini-ML}.
\newblock In {\em {Proceedings of the ACM Symposium on LISP and Functional
  Programming}}, pages {13--27}, {August} 1986.

\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}
Shail~Aditya Gupta.
\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{Mairson90}
Harry~G. Mairson.
\newblock {Deciding ML Typability is Complete for Deterministic Exponential
  Time}.
\newblock In {\em {Proceedings of the 17th ACM Symposium on Principles of
  Programming Languages}}, pages 382--401, {January} 1990.

\bibitem{Meertens83}
Lambert Meertens.
\newblock {Incremental Polymorphic Type Checking in B}.
\newblock In {\em {Proceedings of the 10th ACM Symposium on Principles of
  Programming Languages}}, {January} 1983.

\bibitem{Milner78}
Robin Milner.
\newblock {A Theory of Type Polymorphism in Programming}.
\newblock {\em Journal of Computer and System Sciences}, 17:348--375, 1978.

\bibitem{Milner90}
Robin Milner, Mads Tofte, and Robert Harper.
\newblock {\em {The Definition of Standard ML}}.
\newblock {The MIT Press, Cambridge, Massachusetts}, 1990.

\bibitem{Nikhil85}
Rishiyur~S. Nikhil.
\newblock {Practical Polymorphism}.
\newblock In {\em Proceedings of the Conference on Functional Programming
  Languages and Computer Architectures, Nancy, FRANCE}, volume 201 of {\em
  Lecture notes in Computer Science}. Springer-Verlag, September 1985.

\bibitem{Id90}
Rishiyur~S. Nikhil.
\newblock {Id Version 90.0 Reference Manual}.
\newblock Technical Report CSG Memo 284-1, MIT Laboratory for Computer Science,
  545 Technology Square, Cambridge, MA 02139, July 1990.

\bibitem{Idworld}
Rishiyur~S. Nikhil, P.~R. Fenstermacher, J.~E. Hicks, and R.~P. Johnson.
\newblock {\em {Id World Reference Manual}}.
\newblock Computation Structures Group, MIT Laboratory for Computer Science,
  545 Technology Square, Cambridge, MA 02139, revised edition, November 1989.

\bibitem{Tofte88}
Mads Tofte.
\newblock {\em {Operational Semantics and Polymorphic Type Inference}}.
\newblock PhD thesis, {University of Edinburgh, Department of Computer
  Science}, 1988.
\newblock {Also published as ECS-LFCS-88-54}.

\bibitem{Toyn87}
Ian Toyn, Alan Dix, and Colin Runciman.
\newblock {Performance Polymorphism}.
\newblock In {\em {Functional Programming Languages and Computer
  Architecture}}, volume 274 of {\em {Lecture Notes in Computer Science}},
  pages 325--346. {Springer-Verlag}, 1987.
\newblock {Proceedings of the FPCA Conference held in Portland, Oregon, 1987.}

\bibitem{Turner85}
David~A. Turner.
\newblock {Miranda: A non-strict functional language with polymorphic types}.
\newblock In {\em Proceedings of the Conference on Functional Programming
  Languages and Computer Architectures, Nancy, FRANCE}, volume 201 of {\em
  Lecture Notes in Computer Science}. Springer-Verlag, September 1985.

\bibitem{Turner86}
David~A. Turner.
\newblock {An Overview of Miranda}.
\newblock {\em {SIGPLAN Notices}}, 21(12):{158--166}, December 1986.

\end{thebibliography}
