% -*- Mode: TeX -*-
\documentstyle[lcscover]{article}
\input{fixqmsfonts}
\input{laktex}
\input{header}
\input{macros}
\input{illustrations}
%%% Have to comment out resizing based on current linewidth. 
\def\illustration#1{\ifillustrationcenter\begin{center}
 \leavevmode\fi
 {%\epsfxsize=\hsize
 \epsfbox{\illustrationfileprefix#1\illustrationfilesuffix}}
 \ifillustrationcenter\end{center}\fi}

\def\illustrationfileprefix{/jj/shail/tex/papers/incr-fpca-91/002/}

% Lcscover option.
\title{Incremental Polymorphism}
\author{Shail Aditya \and Rishiyur S. Nikhil}
\date{June 6, 1991}
\toappear{To appear in Proc. Functional Programming Languages and Computer
      Architecture, Cambridge, MA, Aug 28-30, 1991}
\trnumber{Computation Structures Group Memo 329}
\researchcredit{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.}

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

\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}
