started with why
[rsss1516.git] / long1 / pre.tex
1 \documentclass{beamer}
2
3 \usepackage{clean}
4
5 \usecolortheme{dove}
6 \beamertemplatenavigationsymbolsempty%
7
8 \title[RSSS]{Monads for functional programming\\P.\ Wadler}
9 \subtitle{Originally published in Springer's \emph{Program Design Calculi} in
10 $1993$}
11 \author[Lubbers]{M.~Lubbers~\inst{1}}
12 \institute[Radboud University]{%
13 \inst{1}%
14 Computing Science: Software Science\\
15 Radboud University Nijmegen
16 }
17 \date[RSSS-w2]{2016{--}03{--}22}
18
19 \hypersetup{%
20 pdftitle={Monads for functional programming},
21 pdfauthor={Mart Lubbers},
22 pdfcreator={Mart Lubbers},
23 pdfproducer={Mart Lubbers},
24 hidelinks
25 }
26
27 \AtBeginSection[]{%
28 \begin{frame}
29 \frametitle{Table of Contents}
30 \tableofcontents[currentsection]
31 \end{frame}
32 }