\begin{thebibliography}{10}

\bibitem{Aditya95a}
Shail Aditya.
\newblock {Normalizing Strategies for Multithreaded Interpretation and
  Compilation of Non-Strict Languages}.
\newblock CSG Memo 374, MIT Laboratory for Computer Science, Cambridge, MA
  02139, May 1995.

\bibitem{Aditya95}
Shail Aditya, Arvind, and Joseph~E. Stoy.
\newblock {Semantics of Barriers in a Non-Strict, Implicitly-Parallel
  Language}.
\newblock In {\em Proc. Functional Programming Languages and Computer
  Architecture, La Jolla, CA}, Cambridge, MA 02139, June 1995.
\newblock Also available as CSG Memo 367-1, MIT Lab. for Computer Sc.,
  Cambridge, MA 02139.

\bibitem{Ariola94}
Zena~M. Ariola and Arvind.
\newblock {Properties of a First-order Functional Language with Sharing}.
\newblock CSG Memo 347-1, Laboratory for Computer Science, MIT, Cambridge, MA
  02139, June 1994.
\newblock To appear in {\em Theoretical Computer Science}, September 1995.

\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{Augustsson89}
Lennart Augustsson and Thomas Johnsson.
\newblock {Parallel Graph Reduction with the $<\nu,G>$-machine}.
\newblock In {\em Proc. Fourth Intl. Conf. on Functional Programming Languages
  and Computer Architecture, London}, pages 202--213. ACM Press, September
  1989.

\bibitem{Barth91}
Paul~S. Barth, Rishiyur~S. Nikhil, and Arvind.
\newblock {M-Structures: Extending a Parallel, Non-Strict, Functional Language
  with State}.
\newblock In {\em Proc. Functional Programming Languages and Computer
  Architecture}, pages 538--568. Springer-Verlag, 1991.
\newblock LNCS 523.

\bibitem{Sisal91}
A.~P.~W. B\"{o}hm, D.~C. Cann, J.~T. Feo, and R.~R. Oldehoeft.
\newblock {SISAL 2.0 Reference Manual}.
\newblock Technical Report UCRL-MA-109098, Lawrence Livermore National
  Laboratory, December 1991.

\bibitem{Haskell90}
Paul Hudak, Simon Peyton~Jones, and Philip Wadler~(editors).
\newblock {Report on the Programming Language Haskell: A Non-strict Purely
  Functional Language, Version 1.2}.
\newblock {\em ACM SIGPLAN Notices}, 27(5), May 1992.

\bibitem{Johnsson84}
Thomas Johnsson.
\newblock {Efficient Compilation of Lazy Evaluation}.
\newblock {\em Proc. ACM SIGPLAN '84 Symposium on Compiler Construction,
  SIGPLAN Notices}, 19(6):58--69, June 1984.

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

\bibitem{pH-doc}
Rishiyur~S. Nikhil, Arvind, James Hicks, Shail Aditya, Lennart Augustsson,
  Jan-Willem Maessen, and Yuli Zhou.
\newblock {pH Language Reference Manual, Version 1.0---preliminary}.
\newblock CSG Memo 369, Laboratory for Computer Science, MIT, Cambridge, MA
  02139, January 1995.

\bibitem{PeyJones92}
Simon~L. Peyton~Jones.
\newblock {Implementing lazy functional languages on stock hardware: the
  Spineless Tagless G-machine}.
\newblock {\em Journal of Functional Programming}, 2(2):127--202, April 1992.

\end{thebibliography}
