% -*- Mode: LaTeX -*-
\documentstyle[lcscover]{article}
\input{laktex}
\input{code}
\input{../macros}
\input{illustrations}
\def\illustrationfileprefix{/jj/shail/tex/papers/tr-fpca-93/002/}

% Lcscover option.

\coverauthor{Shail Aditya \and Alejandro Caro}
\date{March 29, 1993}
\toappear{In Proceedings of the Conference on Functional Programming
Languages and Computer Architecture, Copenhagen, Denmark, June 9-11, 1993}
\trnumber{Computation Structures Group Memo 348}
\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-89-J-1988.}

\begin{document}
\bibliographystyle{plain}
\title{Compiler-directed Type Reconstruction for Polymorphic
Languages}
\author{Shail Aditya \hspace{0.7in} Alejandro Caro\\
\\*
MIT Laboratory for Computer Science \\
545 Technology Square, Cambridge, MA 02139 \\
{\tt \{shail,acaro\}@abp.lcs.mit.edu}}

\maketitle

%\input{abstract}
%\input{introduction}
%\input{problem}
%\input{framework}
%\input{compile}
%\input{reconstruct}
%\input{optimize}
%\input{conclude}
%\input{acks}
%\bibliography{tr}
\end{document}
