\begin{thebibliography}{10}

\bibitem{Arvind89}
Arvind, Rishiyur~S. Nikhil, and Keshav~K. Pingali.
\newblock {I-Structures: Data Structures for Parallel Computing}.
\newblock {\em {ACM Transactions on Programming Languages and Systems}},
  11(4):{598--632}, 1989.

\bibitem{Barth92}
Paul~S. Barth.
\newblock {Atomic Data Structures for Parallel Computing}.
\newblock Technical Report MIT/LCS/TR-532, Laboratory for Computer Science,
  Massachusetts Institute of Technology, 545 Technology Square, Cambridge, MA
  02139, March 1992.

\bibitem{Bloss89}
A.~Bloss.
\newblock {Update analysis and the efficient implementation of functional
  aggregates}.
\newblock In {\em Proceedings of the ACM Conference on Functional Programming
  Languages and Computer Architecture, London, UK}. ACM Press, September 1989.

\bibitem{Gupta94}
Shail~Aditya Gupta.
\newblock {\em {A Typed Approach to Layered Programming Language Design}}.
\newblock PhD thesis, Massachusetts Institute of Technology, December 1994.
\newblock (In Preparation).

\bibitem{Guzman90}
J.~Guzman and P.~Hudak.
\newblock {Single-threaded polymorphic lambda calculus}.
\newblock In {\em Proceedings of Fifth Annual Symposium on Logic in Computer
  Science}, pages 333--343. ACM Press, June 1990.

\bibitem{HMV93}
My~Hoang, John Mitchell, and Ramesh Viswanathan.
\newblock {Standard ML weak polymorphism and imperative constructs}.
\newblock In {\em Proceedings of the Eighth Annual Symposium on Logic in
  Computer Science}, pages 15--25. ACM Press, June 1993.

\bibitem{Hudak92}
P.~Hudak and D.~Rabin.
\newblock Mutable abstract datatypes - or - how to have your state and munge it
  too.
\newblock Technical Report YALEU/DCS/RR-914, Yale University, Department of
  Computer Science, July 1992.

\bibitem{Haskell90}
P.~Hudak and P.~Wadler~(editors).
\newblock Report on the programming language {H}askell, a non-strict purely
  functional language ({V}ersion 1.0).
\newblock Technical Report YALEU/DCS/RR777, Yale University, Department of
  Computer Science, April 1990.

\bibitem{Launchbury94}
John Launchbury and Simon~L. Peyton~Jones.
\newblock {Lazy Functional State Threads}.
\newblock In {\em Proceedings of the ACM SIGPLAN Conference on Programming
  Language Design and Implementation, Orlando, Florida, USA}. ACM Press, June
  1994.

\bibitem{Leroy92}
Xavier Leroy.
\newblock {Polymorphic Typing of an Algorithmic Language}.
\newblock Rapports de Recherche 1778, INRIA, Rocquencourt, France, October
  1992.
\newblock English translation of the author's Ph.D. thesis originally in
  French.

\bibitem{Leroy91}
Xavier Leroy and Pierre Weis.
\newblock {Polymorphic type inference and assignment}.
\newblock In {\em Proceedings of the ACM Symposium on Principles of Programming
  Languages}, pages 291--302. ACM Press, January 1991.

\bibitem{Lucassen88}
John~M. Lucassen and David~K. Gifford.
\newblock {Polymorphic Effect Systems}.
\newblock In {\em Proceedings of the Fifteenth Annual ACM SIGACT-SIGPLAN
  Symposium on Principles of Programming languages, San Diego, California},
  pages 47--57, January 1988.

\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{SML90}
Robin Milner, Mads Tofte, and Robert Harper.
\newblock {\em {The Definition of Standard ML}}.
\newblock {The MIT Press, Cambridge, Massachusetts}, 1990.

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

\bibitem{pH-doc}
Rishiyur~S. Nikhil, Arvind, and James Hicks.
\newblock {pH Language Proposal (Preliminary)}.
\newblock Circulated on the pH mailing list, September 1993.

\bibitem{Odersky93}
M.~Odersky, D.~Rabin, and P.~Hudak.
\newblock {Call by Name, Assignment, and the Lambda Calculus}.
\newblock In {\em Proceedings of the 1993 ACM Conference on Principles of
  Programming Languages}, pages 43--56. ACM Press, 1993.

\bibitem{Sastry93}
A.~V.~S. Sastry, William Clinger, and Zena Ariola.
\newblock {Order-of-evaluation Analysis for Destructive Updates in Strict
  Functional Languages with Flat Aggregates}.
\newblock In {\em Proceedings of the Conference on Functional Programming
  Languages and Computer Architecture, Copenhagen, Denmark}, pages 266--275.
  ACM Press, June 1993.

\bibitem{Schmidt85}
D.~Schmidt.
\newblock Detecting global variables in denotational specifications.
\newblock {\em {ACM Transactions on Programming Languages and Systems}},
  5(2):{299--310}, 1985.

\bibitem{Swarup91}
V.~Swarup, U.~S. Reddy, and E.~Ireland.
\newblock {Assignments for applicative languages}.
\newblock In {\em Functional Programming Languages and Computer Architecture},
  pages 192--214. Springer-Verlag, February 1991.
\newblock Lecture Notes in Computer Science, volume 523.

\bibitem{Talpin92}
Jean-Pierre Talpin and Pierre Jouvelot.
\newblock {The Type and Effect Discipline}.
\newblock In {\em Proceedings of the ACM Symposium on Logic in Computer
  Science}, pages 162--173. ACM Press, 1992.

\bibitem{Tofte90}
Mads Tofte.
\newblock {Type Inference for Polymorphic References}.
\newblock {\em Information and Computation}, 89:1--34, 1990.

\bibitem{Wadler90}
Philip Wadler.
\newblock {Linear types can change the world!}
\newblock In {\em Proceedings of the Working Conference on Programming Concepts
  and Methods, Israel}, pages 385--407. North-Holland, 1990.

\bibitem{Wright92}
Andrew~K. Wright.
\newblock {Typing References by Effect Inference}.
\newblock In {\em Proceedings of the 4th European Symposium on Programming,
  Rennes, France}, pages 473--491. Springer-Verlag, February 1992.
\newblock Lecture Notes in Computer Science, volume 582.

\end{thebibliography}
