\begin{thebibliography}{10}

\bibitem{Abramsky87}
S.~Abramsky and C.~L.~(eds) Hankin.
\newblock {\em {Abstract Interpretation of Declarative Languages}}.
\newblock Ellis-Horwood, 1987.

\bibitem{Ariola89}
Z.~Ariola and Arvind.
\newblock {P-TAC: A Parallel Intermediate Language}.
\newblock In {\em Proceedings of the ACM Conference on Functional Programming
  Languages and Computer Architecture, London, UK}, pages 230--242. ACM,
  September 1989.

\bibitem{Ariola91}
Z.~Ariola and Arvind.
\newblock {Compilation of Id}.
\newblock In {\em Proc. of the Fourth Workshop on Languages and Compilers for
  Parallel Computing (LNCS 589)}. Springer-Verlag, August 1991.

\bibitem{Bloss88}
A.~Bloss.
\newblock {\em {Path Analysis and the Optimization of Non-strict Functional
  Languages}}.
\newblock PhD thesis, Dept. of Computer Science, Yale University, May 1989.

\bibitem{Bloss87}
A.~Bloss and P.~Hudak.
\newblock {Path Semantics}.
\newblock In {\em Mathematical Foundations of Programming Language Semantics
  (LNCS 298)}. Springer-Verlag, April 1987.

\bibitem{Burn86}
J.~Burn, C.~Hankin, and S.~Abramsky.
\newblock {Strictness Analysis for Higher-order Functions}.
\newblock {\em Science of Computer Programming}, 9, 1986.

\bibitem{Clack85}
C.~Clack and S.~L. Peyton-Jones.
\newblock {Strictness Analysis -- A Practical Approach}.
\newblock In {\em Proceedings of ACM Conference of Functional Programming
  Languages and Computer Architecture}. ACM, September 1985.

\bibitem{Coorg94}
S.~R. Coorg.
\newblock {Partitioning Non-strict Languages for Multi-threaded Code
  Generation}.
\newblock Masters Thesis, EECS, MIT, May 1994.

\bibitem{Culler93}
D.~E. Culler, S.~C. Goldstein, K.~E. Schauser, and T.~von Eicken.
\newblock {TAM --- A Compiler Controlled Threaded Abstract Machine.}
\newblock {\em {Journal of Parallel and Distributed Computing}},
  18(4):{347--370}, July 1993.

\bibitem{Garey79}
M.~R. Garey and D.~S. Johnson.
\newblock {\em {Computers and Intractability: A Guide to the Theory of
  NP-Completeness}}.
\newblock W.H. Freeman, San Francisco, CA, 1979.

\bibitem{Henderson80}
P.~Henderson.
\newblock {\em {Functional Programming: Applications and Implementation}}.
\newblock Prentice Hall, Englewood Cliffs, NJ, 1980.

\bibitem{Hoch91}
J.~E. Hoch, D.~M. Davenprot, V.~G. Grafe, and K.~M. Steele.
\newblock {Compile-time Partitioning of a Non-strict Language into Sequential
  Threads}.
\newblock In {\em Proc. Symp. on Parallel and Distributed Processing}, Dec
  1991.

\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{Hudak86}
P.~Hudak and J.~Young.
\newblock {Higher-order Strictness Analysis of the Untyped Lambda-Calculus}.
\newblock In {\em Proc. 12th ACM Symposium on Principles of Programming
  Languages}, pages 97--109. ACM, Jan 1986.

\bibitem{Ianucci88}
R.~A. Ianucci.
\newblock {\em {A Dataflow/von Neumann Hybrid Architecture}}.
\newblock PhD thesis, Dept. of EECS, MIT, May 1988.
\newblock (Also MIT LCS TR-418).

\bibitem{Mycroft80}
A.~Mycroft.
\newblock {The Theory and Practice of Transforming Call-by-need into
  Call-by-value}.
\newblock In {\em {International Symposium on Programming (LNCS 83)}}.
  Springer-Verlag, April 1980.

\bibitem{Nikhil90}
R.~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{Nikhil92}
R.S. Nikhil, G.M. Papadopoulos, and Arvind.
\newblock {*T: A Multithreaded Massively Parallel Architecture}.
\newblock In {\em Proc. 19th Annual Intl. Symp. on Computer Architecture}, May
  1992.

\bibitem{Schauser94b}
K.~E. Schauser.
\newblock {\em {Compiling Lenient Languages for Parallel Asynchronous
  Execution}}.
\newblock PhD thesis, Computer Science Div., Univ. of California at Berkeley.,
  May 1994.

\bibitem{Schauser94a}
K.~E. Schauser, D.~Culler, and S.~C. Goldstein.
\newblock {Separation Constraint Partitioning -- A New Algorithm for
  Partitioning Non-strict Programs into Sequential Threads}.
\newblock In {\em Proc. ACM Conference on Principles of Programming Languages
  (POPL)}, January 1995.

\bibitem{Schauser91}
K.~E. Schauser, D.~Culler, and von Eicken~T.
\newblock {Compiler-controlled Multithreading for Lenient Parallel Languages}.
\newblock In {\em Proc. Conf. on Functional Programming Languages and Computer
  Architecture}, August 1991.

\bibitem{Schmidt}
D.~A. Schmidt.
\newblock {\em {Denotational Semantics -- A Methodology for Language
  Development}}.
\newblock Allyn and Bacon, Boston, MA, 1986.

\bibitem{Traub86}
K.~R. Traub.
\newblock {A Compiler for the MIT Tagged-Token Dataflow Architecture}.
\newblock Technical Report TR-370, MIT Lab. for Computer Science, August 1986.
\newblock (MS Thesis, Dept. of EECS, MIT).

\bibitem{Traub89}
K.~R. Traub.
\newblock {Compilation as Partitioning: A New Approach to Compile Non-strict
  Functional Languages}.
\newblock In {\em Proc. of the ACM Conf. on Functional Programming and Computer
  Architecture}, pages 75--88. ACM, 1989.

\bibitem{Traub88}
K.~R. Traub.
\newblock {\em {Implementation of Non-strict Functional Programming
  Languages}}.
\newblock MIT Press, Cambridge, MA, 1991.

\bibitem{Traub92}
K.~R. Traub, D.~E. Culler, and K.~E. Schauser.
\newblock {Global Analysis for Partitioning Non-strict Programs into Sequential
  Threads}.
\newblock In {\em Proc. of the ACM Conf. on LISP and Functional Programming},
  June 1992.

\bibitem{Wadler87}
P.~Wadler.
\newblock {Strictness Analysis on Non-Flat Domains}.
\newblock In {\em \cite{Abramsky87}}.

\end{thebibliography}
