\begin{thebibliography}{1}

\bibitem{Zena89}
Z.~M. Ariola and Arvind.
\newblock {P-TAC: A parallel intermediate language}.
\newblock In {\em Proc. ACM Conference on Functional Programming Languages and
  Computer Architecture, London}, 1989.
\newblock Also: CSG Memo 295, MIT Laboratory for Computer Science, 545
  Technology Square, Cambridge, MA 02139, USA.

\bibitem{Traub86}
T.~Kenneth~R.
\newblock {A Compiler for the MIT Tagged-Token Dataflow Architecture}.
\newblock Technical Report LCS TR-370, MIT Laboratory for Computer Science, 545
  Technology Square, Cambridge, MA 02139, August 1986.

\bibitem{Nikhil88b}
R.~S. Nikhil.
\newblock {Notes on Translating List Comprehensions in Id}.
\newblock Technical report, MIT Laboratory for Computer Science, 545 Technology
  Square, Cambridge, MA 02139, USA, January 1988.

\bibitem{Nikhil88a}
R.~S. Nikhil and Arvind.
\newblock {Notes on Pattern Matching Algorithm}.
\newblock Technical report, MIT Laboratory for Computer Science, 545 Technology
  Square, Cambridge, MA 02139, USA, February 1988.

\bibitem{Nikhil90a}
R.~S. Nikhil and Arvind.
\newblock {\em {Programming in {\it Id\/}: a parallel programming language}}.
\newblock 1990.
\newblock (book in preparation).

\bibitem{Peyton-Jones87}
P.~J. Simon~L.
\newblock {\em The implementation of Functional Programming Languages}.
\newblock Prentice-Hall International, Englewood Cliffs, N.J., 1987.

\bibitem{Johnsson85}
J.~Thomas.
\newblock Lambda lifting: Transforming programs to recursive equations.
\newblock In {\em Springer-Verlag LNCS 201 (Proc. Functional Programming
  Languages and Computer Architecture, Nancy, France)}, September 1985.

\bibitem{Zena90a}
A.~Zena~Matilde and Arvind.
\newblock {Contextual Rewriting}.
\newblock 545 Technology Square, Cambridge, MA 02139, USA, 1990.
\newblock In preparation.

\end{thebibliography}
