\begin{thebibliography}{10}

\bibitem{bib:theory}
Richard Bird.
\newblock An introduction to the theory of lists.
\newblock In {\em Logic of Programming and Calculi of Discrete Design}, pages
  5--42. Springer-Verlag, 1987.

\bibitem{bib:constructive}
Richard Bird.
\newblock Lectures on constructive functional programming.
\newblock In {\em Constructive Methods in Computing Science}, pages 151--216.
  Springer-Verlag, 1989.

\bibitem{bib:introfunc}
Richard Bird and Philip Wadler.
\newblock {\em Introduction to Functional Programming}.
\newblock Prentice Hall, 1988.

\bibitem{bib:fusion}
Wei-Ngan Chin.
\newblock Safe fusion of functional expressions.
\newblock In {\em Proc. of the ACM Symposium on LISP and Functional
  Programming}, pages 11--20, 1992.

\bibitem{bib:shortcut}
Andrew Gill, John Launchbury, and Simon~L Peyton~Jones.
\newblock A short cut to deforestation.
\newblock In {\em Proceedings of the 6th ACM Conference on Functional
  Programming Languages and Computer Architecture}, pages 223--232, 1993.

\bibitem{bib:agna}
Hichael~L Heytens and Rishiyur~S Nikhil.
\newblock List comprehensions in {AGNA}, a parallel persistent object system.
\newblock In {\em Proceedings of the 5th ACM Conference on Functional
  Programming Languages and Computer Architecture}, 1991.

\bibitem{bib:hreport}
Paul Hudak, Simon~L Peyton~Jones, and Philip {Wadler, eds., et. al.}
\newblock Report on the functional programming language {Haskell}, version 1.2.
\newblock {\em SIGPLAN Notices}, 27, 1992.

\bibitem{bib:statetrans}
John Launchbury and Simon~L Peyton~Jones.
\newblock Lazy functional state threads.
\newblock In {\em Proceedings of the ACM Conference on Programming Language
  Design and Implementation}, pages 24--35. ACM SIGPLAN Notices, 1994.

\bibitem{bib:mythesis}
Jan-Willem Maessen.
\newblock Eliminating intermediate lists in ph using local transformations.
\newblock Master's thesis, MIT, May 1994.

\bibitem{bib:algorithmics}
Lambert Meertens.
\newblock Algorithmics: Towards programming as a mathematical activity.
\newblock In {\em Mathematics and Computer Science: Proceedings of the CWI
  Symposium, Nov. 1983}, pages 289--334. Springer-Verlag, 1986.

\bibitem{bib:banana}
Erik Meijer, Maarten Fokkinga, and Ross Paterson.
\newblock Functional programming with bananas, lenses, envelopes, and barbed
  wire.
\newblock In {\em Proceedings of the 5th ACM Conference on Functional
  Programming Languages and Computer Architecture}, pages 124--144, 1991.

\bibitem{bib:phreport}
Rishiyur~S Nikhil, Arvind, and James {Hicks, et. al.}
\newblock ph language proposal (preliminary).
\newblock Working document describing pH extensions to Haskell.

\bibitem{bib:idreport}
R.S. Nikhil.
\newblock Id language reference manual, version 90.1.
\newblock Technical Report 284-2, MIT Computation Structures Group Memo, July
  1990.

\bibitem{bib:seasons}
Tim Sheard and Leonidas Fegaras.
\newblock A fold for all seasons.
\newblock In {\em Proceedings of the 6th ACM Conference on Functional
  Programming Languages and Computer Architecture}, pages 233--242, 1993.

\bibitem{bib:parcon}
D~B Skillicorn.
\newblock Models for practical parallel computation.
\newblock {\em International Journal of Parallel Programming}, 20(2), 1991.

\bibitem{bib:listless}
Philip Wadler.
\newblock Listlessness is better than laziness: Lazy evaluation and garbage
  collection at compile-time.
\newblock In {\em Proc. of the ACM Symposium on LISP and Functional
  Programming}, pages 45--52, 1984.

\bibitem{bib:implcomp}
Philip Wadler.
\newblock Chapter 7: List comprehensions.
\newblock In Simon~L Peyton~Jones, editor, {\em The Implementation of
  Functional Programming Languages}. Prentice Hall, 1987.

\bibitem{bib:deforest}
Philip Wadler.
\newblock Deforestation: Transforming programs to eliminate trees.
\newblock {\em Theoretical Computer Science}, 73:231--248, 1991.

\bibitem{bib:monads}
Philip Wadler.
\newblock The essence of functional programming.
\newblock In {\em Proceedings of the ACM Symposium on Principles of Programming
  Languages}, pages 1--14, 1992.

\bibitem{bib:idcomps}
Yuli {Zhou, ed.}
\newblock List and array comprehension desugaring.
\newblock Chapter in Id-in-id compiler documentation.

\end{thebibliography}
