7 \title[cc1516: Semantic analysis
]{SPLT
}
8 \subtitle{\texttt{<splt>~::= <spl> <parser> `,' <parser> `and' <typechecker>
}}
9 \author[P. Jager, M. Lubbers
]{Pim Jager
\inst{1}\and Mart Lubbers
\inst{1}}
10 \institute[Radboud University
]{%
12 Computer Science: Software Science\\
19 basicstyle=
\ttfamily\footnotesize,
24 \usecolortheme{beaver
}