\documentclass{jfp1}
\usepackage{graphicx}
\usepackage{amsthm}
\usepackage{style/utils}
\usepackage{style/names}
\usepackage{style/proof}

% -----------------------------------------------------------------------------
\begin{document}

\title	[Witnessing Mutability, Purity and Aliasing for Program Optimisation]
	{Witnessing Mutability, Purity and Aliasing \\ for Program Optimisation}

\author	[Ben Lippmeier]
	{  BEN LIPPMEIER \\
	   School of Computer Science and Engineering \\
	   University of New South Wales, Australia
	   \email{benl@ouroborus.net}
	   \thanks{This article is an expansion of a paper presented at APLAS 2009 in Seoul.}
	}

\maketitle

\cleardoublepage{}
\input{4-Language/Core}
\cleardoublepage{}
\input{4-Language/SupersOfKinds}
\input{4-Language/KindsOfTypes}
\cleardoublepage{}
\input{4-Language/TypesOfTerms}
\cleardoublepage{}
\input{4-Language/TypesOfAlternatives}
\input{4-Language/SubsOfEffects}
\input{4-Language/KindsOfWitnesses}
\input{4-Language/EvalWitness}
\input{4-Language/DynamicObjects}
\cleardoublepage{}
\input{4-Language/EvalOperational}
\cleardoublepage{}
\input{4-Language/EvalNatural}

\end{document}