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

\input{/bk/acaro/TeX/inputs/code-mac.tex}

\begin{document}
\bibliographystyle{plain}

\title{Compiler-directed Type Reconstruction for Polymorphic
Languages}

\author{Shail Aditya \hspace{0.70in} 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}
