\begin{thebibliography}{10}

\bibitem{Ariola89}
Zena~M. Ariola and Arvind.
\newblock {P-TAC: A Parallel Intermediate Language}.
\newblock In {\em Proc. Functional Programming Languages and Computer
  Architecture}, September 1989.

\bibitem{Ariola91}
Zena~M. Ariola and Arvind.
\newblock {A Syntactic Approach to Program Transformations}.
\newblock In {\em Proc. Partial Evaluation and Semantics-Based Program
  Manipulation}, pages 116--129. ACM Press, September 1991.

\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 Theoretical Computer Science, September 1995.

\bibitem{Arvind86}
Arvind and David~E. Culler.
\newblock {Dataflow Architectures}.
\newblock In {\em Annual Reviews in Computer Science}, volume~1, pages
  225--253. Annual Reviews Inc., Palo Alto, CA, 1986.

\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 {\em {Atomic Data Structures for Parallel Computing}}.
\newblock PhD thesis, Laboratory for Computer Science, MIT, Cambridge, MA
  02139, March 1992.
\newblock Available as Technical Report MIT/LCS/TR-532.

\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{Hoare85}
C.A.R. Hoare.
\newblock {\em {Communicating Sequential Processes}}.
\newblock Prentice Hall International Series in Computer Science. Prentice
  Hall, Englewood Cliffs, NJ, 1985.

\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, Department of Computer Science,
  Yale University, April 1990.

\bibitem{Hudak93}
Paul Hudak.
\newblock {Mutable Abstract Datatypes -or- How to Have Your State and Munge It
  Too}.
\newblock Research Report YALEU/DCS/RR-914, Department of Computer Science,
  Yale University, New Haven, CT 06520, December 1992.
\newblock Revised May 1993.

\bibitem{Johnsson85}
Thomas Johnsson.
\newblock {Lambda Lifting: Transforming Programs to Recursive Equations}.
\newblock In {\em Proc. Functional Programming Languages and Computer
  Architecture}, pages 190--203. Springer-Verlag, 1985.
\newblock LNCS 201.

\bibitem{Launchbury94}
John Launchbury and Simon~L. Peyton~Jones.
\newblock {Lazy Functional State Threads}.
\newblock In {\em Proc. Programming Language Design and Implementation}, pages
  24--35. ACM Press, June 1994.

\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, and James Hicks.
\newblock {pH Language Proposal (Preliminary)}.
\newblock Circulated on the pH mailing list, September 1993.

\bibitem{PeytonJones93}
Simon~L. Peyton~Jones and Philip Wadler.
\newblock {Imperative Functional Programming}.
\newblock In {\em Proc. Principles of Programming Languages}, pages 71--84. ACM
  Press, January 1993.

\bibitem{Stoy94}
J.E. Stoy.
\newblock {The Semantics of Id}.
\newblock In A.W. Roscoe, editor, {\em A Classical Mind: Essays in Honour of
  C.A.R. Hoare}, pages 379--404. Prentice Hall, New York, 1994.

\bibitem{Berkeley-io}
Thorsten von Eicken, David Culler, and Klaus~Erik Schauser.
\newblock {Berkeley Id90 I/O proposal}.
\newblock Draft Memo, August 1991.

\end{thebibliography}
