% T I T L E   P A G E
% -------------------

% The title page is counted as page `i' but we need to suppress the
% page number. Also, we don't want any headers or footers.
\pagestyle{empty}
\pagenumbering{roman}

% The contents of the title page are specified in the "titlepage"
% environment.
\begin{titlepage}
	\begin{center}
	\vspace*{1.0cm}

	\Huge
	{\bf \CFA{} Type System Implementation }

	\vspace*{1.0cm}

	\normalsize
	by \\

	\vspace*{1.0cm}

	\Large
	Aaron Moss \\

	\vspace*{3.0cm}

	\normalsize
	A thesis \\
	presented to the University of Waterloo \\ 
	in fulfillment of the \\
	thesis requirement for the degree of \\
	Doctor of Philosophy \\
	in \\
	Computer Science \\

	\vspace*{2.0cm}

	Waterloo, Ontario, Canada, 2019 \\

	\vspace*{1.0cm}

	\copyright\ Aaron Moss 2019 \\
	\end{center}
\end{titlepage}

% The rest of the front pages should contain no headers and be numbered using Roman numerals starting with `ii'
\pagestyle{plain}
\setcounter{page}{2}

\cleardoublepage % Ends the current page and causes all figures and tables that have so far appeared in the input to be printed.
% In a two-sided printing style, it also makes the next page a right-hand (odd-numbered) page, producing a blank page if necessary.

% E X A M I N I N G   C O M M I T T E E
% -------------------------------------

\begin{center}\textbf{Examining Committee Membership}\end{center}
	\noindent
  The following served on the Examining Committee for this thesis. The decision of the Examining Committee is by majority vote.
	\bigskip
	
% 	\noindent
%   \begin{tabbing}
%   Internal-External Member: \=  \kill % using longest text to define tab length
%   External Examiner: \>  Bruce Bruce \\ 
%   \> Professor, Dept. of Philosophy of Zoology, University of Wallamaloo \\
%   \end{tabbing} 
% 	\bigskip
	
	\noindent
  \begin{tabbing}
  Internal-External Member: \=  \kill % using longest text to define tab length
  Supervisor: \> Peter Buhr \\
  \> Professor, School of Computer Science, University of Waterloo \\
  \end{tabbing}
	\bigskip
	
	\noindent
  \begin{tabbing}
  Internal-External Member: \=  \kill % using longest text to define tab length
  Internal Members: \> Gregor Richards \\
  \> Professor, School of Computer Science, University of Waterloo \\
  \> Ond\v{r}ej Lhot\a'ak \\
  \> Professor, School of Computer Science, University of Waterloo \\
  \end{tabbing}
% 	\bigskip
	
% 	\noindent
%   \begin{tabbing}
%   Internal-External Member: \=  \kill % using longest text to define tab length
%   Internal-External Member: \> Deepa Thotta \\
%   \> Professor, Dept. of Philosophy, University of Waterloo \\
%   \end{tabbing}
% 	\bigskip
	
% 	\noindent
%   \begin{tabbing}
%   Internal-External Member: \=  \kill % using longest text to define tab length
%   Other Member(s): \> Leeping Fang \\
%   \> Professor, Dept. of Fine Art, University of Waterloo \\
%   \end{tabbing}
  
  \cleardoublepage

% D E C L A R A T I O N   P A G E
% -------------------------------
  % The following is a sample Delaration Page as provided by the GSO
  % December 13th, 2006.  It is designed for an electronic thesis.
  \noindent
I hereby declare that I am the sole author of this thesis. This is a true copy of the thesis, including any required final revisions, as accepted by my examiners.

  \bigskip
  
  \noindent
I understand that my thesis may be made electronically available to the public.

\cleardoublepage

% A B S T R A C T
% ---------------

\begin{center}\textbf{Abstract}\end{center}

This is the abstract.

\cleardoublepage

% A C K N O W L E D G E M E N T S
% -------------------------------

% \begin{center}\textbf{Acknowledgements}\end{center}

% I would like to thank all the little people who made this thesis possible.
% \cleardoublepage

% D E D I C A T I O N
% -------------------

% \begin{center}\textbf{Dedication}\end{center}

% This is dedicated to the one I love.
% \cleardoublepage

% T A B L E   O F   C O N T E N T S
% ---------------------------------
\renewcommand\contentsname{Table of Contents}
\tableofcontents
\cleardoublepage
\phantomsection    % allows hyperref to link to the correct page

% L I S T   O F   T A B L E S
% ---------------------------
\addcontentsline{toc}{chapter}{List of Tables}
\listoftables
\cleardoublepage
\phantomsection		% allows hyperref to link to the correct page

% L I S T   O F   F I G U R E S
% -----------------------------
\addcontentsline{toc}{chapter}{List of Figures}
\listoffigures
\cleardoublepage
\phantomsection		% allows hyperref to link to the correct page

% GLOSSARIES (Lists of definitions, abbreviations, symbols, etc. provided by the glossaries-extra package)
% -----------------------------
% \printglossaries
% \cleardoublepage
% \phantomsection		% allows hyperref to link to the correct page

% Change page numbering back to Arabic numerals
\pagenumbering{arabic}
