\begin{thebibliography}{10}

\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{Zena90b}
Z.~M. Ariola and Arvind.
\newblock {Compilation of Id$^-$: a subset of Id}.
\newblock Technical Report CSG Memo 315, MIT Laboratory for Computer Science,
  545 Technology Square, Cambridge, MA 02139, USA, July 1990.
\newblock Revised 1 November.

\bibitem{Arvind89c}
Arvind, R.~S. Nikhil, and K.~K. Pingali.
\newblock {I-Structures: Data Structures for Parallel Computing}.
\newblock {\em ACM Transactions on Programming Languages and Systems}, 11(4),
  October 1989.
\newblock An earlier version appeared in Proceedings of the Workshop on Graph
  Reduction, Santa Fe, New Mexico, USA, September/October 1986, Springer-Verlag
  LNCS 279, pages 336-369.

\bibitem{Barendregt}
H.~Barendregt.
\newblock {\em The Lambda Calculus: Its Syntax and Semantics}.
\newblock North-Holland, Amsterdam, 1984.

\bibitem{Courcelle}
B.~Courcelle.
\newblock {\em Fundamentals Properties of Infinite Trees}.
\newblock D. Reidel Publishing Company, 1982.

\bibitem{DeBruijn}
N.~de~Bruijn.
\newblock Lambda calculus notation with nameless dummies: A tool for automatic
  formula manipulation, with application to the church-rosser theorem.
\newblock In {\em Koninkijke Nederlandse Akademie van Wetenschappen, Series A,
  Mathematical Sciences}, 1972.

\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{Klop85}
J.~Klop.
\newblock Term rewriting systems.
\newblock Course Notes, Summer course organized by Corrado Boehm, Ustica,Italy,
  September 1985.

\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{Nikhil90c}
R.~S. Nikhil.
\newblock {Id (Version 90.0) Reference Manual}.
\newblock Technical Report CSG Memo 284-a, MIT Laboratory for Computer Science,
  545 Technology Square, Cambridge, MA 02139, USA, July 1990.

\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.

\end{thebibliography}
