% -*- Mode: LaTeX -*-
\documentstyle[11pt]{article}
\input{laktex}
\input{header}
\input{illustrations}
\input{macros}
\def\illustrationfileprefix{./}

\input{normmac}

%\covertitle{Semantics of pH: A parallel dialect of Haskell}
%\coverauthor{\begin{tabular}{c}
%Shail Aditya \hmm Arvind \hmm Jan-Willem Maessen\\
%MIT Laboratory for Computer Science \\
%{\tt \{shail,arvind,earwig\}@lcs.mit.edu}
%\end{tabular} \and
%\begin{tabular}{c}
%Lennart Augustsson \\
%Chalmers University \\
%{\tt augustss@cs.chalmers.se}
%\end{tabular} \and 
%\begin{tabular}{c}
%Rishiyur S. Nikhil \\
%DEC Cambridge Research Laboratory \\
%{\tt nikhil@crl.dec.com}
%\end{tabular}}
%\trnumber{Computation Structures Group Memo 377}
%\coverdate{May 26, 1995}
%\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.}

\begin{document}
\bibliographystyle{plain}

\title{Semantics of pH: A parallel dialect of Haskell\thanks{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.}}


\author{\centerit{\centerit{Shail Aditya$^{a}$ \\ MIT} \and
\centerit{Arvind$^{a}$ \\ MIT} \and \centerit{Lennart Augustsson$^{b}$
\\ Chalmers University}} \and
\centerit{\centerit{Jan-Willem Maessen$^{a}$ \\ MIT} \and \centerit{Rishiyur
S. Nikhil$^{c}$ \\ DEC, CRL}}}
\date{}

\maketitle

\renewcommand{\thefootnote}{\alph{footnote}}
\footnotetext[1]{MIT Laboratory for Computer Science, Cambridge, MA
02139. Email: {\tt \{shail,arvind,earwig\}@lcs.mit.edu}.}
\footnotetext[2]{Department of Computer Science, Chalmers University,
G\"{o}teborg, Sweden. Email: {\tt augustss@cs.chalmers.se}.}
\footnotetext[3]{Cambridge Research Laboratory, Digital Equipment
Corporation, One Kendall Square, Building 700, Cambridge, MA 02139.
Email: {\tt nikhil@crl.dec.com}.}
\renewcommand{\thefootnote}{\arabic{footnote}}

\input{abstract}
\input{intro}
\input{eager}
\input{sideEff}
\input{barrier}
\input{conclusion}
\bibliography{kidnorm}
\appendix
\input{compile}
%\input{lazy}
\end{document}
