\documentclass[11pt]{article}

\usepackage{fullpage,code,verbatim,math-cmds,math-envs,latin-abbrevs,proof,amsmath,amssymb,xspace,enumerate}
%\usepackage[dvips]{epsfig}

\input{minml-defns}

\newcommand{\fillin}[1]{\makebox[#1][l]{\strut\hrulefill}}

\newif\ifsoln
\solntrue

\title{Computer Science 15--312: Programming Languages\\FINAL EXAMINATION
\ifsoln
\\(Sample Solutions)
\fi
}
\author{}
\date{May 10, 1999}

\pagenumbering{arabic}
\pagestyle{myheadings}
\markright{Name:\ \protect\rule{3in}{1pt}}

\begin{document}
\maketitle

\section*{Name}

{\large
\begin{quote}

\begin{tabular}{ll}
Name:           & \fillin{4in} \\[3ex]
Andrew ID:      & \fillin{4in}
\end{tabular}

\end{quote}
}

\section*{Instructions}

\begin{itemize}
\item This is an open-book, open-notes examination.  You have 3 hours to
complete this examination.
\item There are 20 pages in this examination, including three worksheets.
\item This examination consists of 5 questions worth a total of 150 points.
\item Read each question completely before attempting to solve any part.
\item Write your answers legibly {\em in the space provided} on the
examination sheet.
\item Write your name and Andrew id on this page and on the top of each
successive page in the space provided.
\end{itemize}

\section*{Grading}

{\large
\begin{center}
\begin{tabular}{|c|*{6}{@{\qquad}c@{\qquad}|}|@{\quad}c@{\quad}|}
\hline
 Question & 1 & 2 & 3 & 4 & 5 & Total & EC \\
\hline
 Score \rule[-1em]{0em}{3em} & & & & & & & \\
\hline
 Maximum & 30  & 30 & 30  & 30 & 30  & 150 & 10 \\
\hline
\end{tabular}
\end{center}
}

\clearpage
\input{kw-subtyping}

\clearpage
\input{adt}

\clearpage
\input{kw-gc}

\clearpage
\input{nesl}

\clearpage
\input{dreyer-callcc}

%\clearpage
%\input{kc-glyphs}

\clearpage
\section*{Worksheet}

\clearpage
\section*{Worksheet}

\clearpage
\section*{Worksheet}

\end{document}
