\documentstyle[mycover]{fpca95}
\input{laktex}
\input{illust}
\input{/home/jj/satyan/Tex/Lib/code}
\input{/home/jj/satyan/Tex/Lib/macros}
\def\illustrationfileprefix{./}
\def\ld{[\![}
\def\rd{]\!]}


\begin{document}

\bibliographystyle{plain}
\sloppy
\title{Partitioning Non-strict Functional Languages for Multi-threaded
Code Generation$^{\dag}$}
\coverauthor{Satyan R. Coorg}
\author{Satyan R. Coorg$^*$\\
MIT Laboratory for Computer Science \\
NE43-217, 545 Technology Square \\
Cambridge, MA 02139, USA}

\trnumber{CSG Memo 378}

\toappear{To appear in the Proceedings of Static Analysis Symposium'95, 
September 25--27, Glasgow, Scotland, UK.}


\researchcredit{The research described in this paper was funded in part by the
Advanced Research Projects Agency of the Department of Defense under
Office of Naval Research contract N00014-92-J-1310.}

\maketitle
\begin{figure}[b]
\footnoterule
\footnotesize
$^{\dag}$The research described in this paper was funded in part by the
Advanced Research Projects Agency of the Department of Defense under
Office of Naval Research contract N00014-92-J-1310.\\
$^{*}${Email:{\tt satyan@lcs.mit.edu},
Phone: 617-253-8858, Fax: 617-253-6652}.
\end{figure}


\input{abstract}
\input{intro}
\input{syntax}
\input{partdefn}
\input{basic}
\input{global}
\input{related}
\input{conclusion}
\bibliography{partition}
\appendix
\input{proofs}
\end{document}
