%% There are two top-level LaTeX files for this dissertation.
%% One is typeset in a single-spaced "technical report" format,
%% the other is typeset in a double-spaced Brandeis dissertation
%% format.  This is the latter.
\documentclass{brandeis-dissertation} 

\input{preamble}
\title{The Complexity of Flow Analysis in Higher-Order Languages}
\author{David {Van Horn}}

\department{Mitchom School of Computer Science}
\adviser{Harry G.~Mairson, Brandeis University}
\reader{Olivier Danvy, University of Aarhus}
\reader{Timothy J.~Hickey, Brandeis University}
\reader{Olin Shivers, Northeastern University}
\dean{Adam B.~Jaffe}

\graduationmonth{August}\graduationyear{2009}

%% \othercopyright{Licensed under the Academic Free License version 3.0.}

\thesisabstract{\input{abstract}}

\dedication{\papa}

\acknowledgments{%
  \addcontentsline{toc}{chapter}{Acknowledgements} 
  \input{acknowledgments}}

\preface{\input{preface}}

\begin{document}

\thesisfront[lof]
\include{chapter-introduction}
\include{chapter-foundations}
\include{chapter-0cfa}
\include{chapter-linear-logic}
\include{chapter-kcfa}
\include{chapter-related-work}
\include{chapter-conclusions}
% \appendix
% \include{appendix-hacker}
% \include{appendix-orphans}

\cleardoublepage
\phantomsection
\addcontentsline{toc}{chapter}{Bibliography}
\bibliography{bibliography}
%\addcontentsline{toc}{chapter}{Postscript}
%\include{postscript}

\cleardoublepage
\phantomsection
\addcontentsline{toc}{chapter}{Colophon}
\include{colophon}

\end{document}