% -*- Mode: TeX -*-
\documentstyle{lncsconf}
\input{fixqmsfonts}
\input{laktex}
\input{macros}
\input{illustrations}
\def\illustrationfileprefix{/jj/shail/tex/papers/incr-fpca-91/}

\title{Incremental Polymorphism}
\author{Shail Aditya \and Rishiyur S. Nikhil \and \mbox{Laboratory for Computer Science, MIT.}}

\begin{document}
\bibliographystyle{plain}
\maketitle

\begin{figure}[b]
\footnoterule
\footnotesize
Current address for both authors: Laboratory for Computer
Science, Massachusetts Institute of Technology, 545 Technology Square,
Cambridge, Massachusetts 02139. Current Internet e-mail address: {\tt
shail@abp.lcs.mit.edu} and {\tt nikhil@abp.lcs.mit.edu}. 

This paper describes research done at the Laboratory for Computer
Science of the Massachusetts Institute of Technology.  Funding for the
Laboratory is provided in part by the Advanced Research Projects
Agency of the Department of Defense under Office of Naval Research
contract N00014-89-J-1988.
\end{figure}

\input{abstract}
\input{introduction}
\input{background}
\input{notation}
\input{issues}
\input{algorithm}
\input{proof}
\input{extensions}
\input{complexity}
\input{conclusion}
\input{appendix}
\bibliography{incr}
\end{document}
