% Draft
\documentstyle[fullpage,code]{article}
\newcommand{\copyrightspace}{}
% Tech report
%\documentstyle[12pt,fullpage,cmu-titlepage,code]{article}
%\newcommand{\copyrightspace}{}
% Conference
%\documentstyle[popl,code]{article}

\tracingonline=0

\input{tex-hacks}
\input{infrule}
\input{defns}

% swap which yields its argument to get the full draft
\newcommand{\omitfromabstract}[1]{#1}
\newcommand{\abstractonly}[1]{}

\title{Typing First-Class Continuations in ML}
\author{Robert Harper\thanks{Carnegie Mellon University, Pittsburgh, PA}
\and Bruce F. Duba\thanks{Rice University, Houston, TX}
\and David MacQueen\thanks{AT\&T Bell Laboratories, Murray Hill, NJ}
}
%\date{April, 1992}
%\trnumber{CMU-CS-92-???}
%arpasupport{???}
%\citationinfo{}
%\keywords{lambda calculus, type theory, continuations, functional
%programming}
%\abstract{
%\input{abstract}
%}

\begin{document}

\maketitle{}

\begin{abstract}
\input{abstract}
\end{abstract}%

\section{Introduction}
\label{intro-sec}
\copyrightspace
\input{intro}

\section{Adding First-Class Continuations to ML}
\label{adding-sec}
\input{adding}

\section{Semantics of Polymorphic Type Assignment}
\label{pta-sec}
\input{pta}

\section{Conclusions}
\label{concl-sec}
\input{concl}

\bibliographystyle{plain}
\bibliography{bib}

\end{document}
