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

\begin{document}
\bibliographystyle{plain}

\title{A Type System for Functional Imperative Programming \\
(Technical Summary)}

\author{Shail Aditya \hspace{0.7in} Satyan Coorg \\[0.1in] MIT
Laboratory for Computer Science \\ 545 Technology Square, 
Cambridge, MA 02139 \\ {\tt \{shail\bx{,}satyan\}@lcs.mit.edu}}

\maketitle

\input{abstract}
\input{intro}
\input{dynamic}
\input{static}
\input{sound}
\input{extn}
\input{conc}
\appendix
\input{proof}
\bibliography{close}
\end{document}
