ab65bb8adc7e0de160a197ab0b6de0a2eb35deaa
[rsss1516.git] / long1 / long.tex
1 %&long
2 \begin{document}
3 \frame{\titlepage}
4
5 \section{Introduction}
6 \begin{frame}
7 \frametitle{Scientific Impact}
8 \begin{itemize}
9 \item Cited $676$ times in $23$ years
10 \item $\pm 30$ cites per year
11 \item Cited as de-facto monad introducing paper
12 \item Monads in computer science: Moggi et al.\ in $1989$
13 \end{itemize}
14 \end{frame}
15
16 \begin{frame}
17 \frametitle{Objective \& Current state}
18 \begin{block}{Objective}
19 \begin{itemize}
20 \item First introduction to monads
21 \item Layman's terms
22 \end{itemize}
23 \end{block}
24
25 \pause%
26 \begin{block}{Current state of the art}
27 \begin{itemize}
28 \item $2016$: $2$ papers citing Wadler
29 \item $2015$: $24$ papers citing Wadler
30 \item Ranging from
31 \pause%
32 \begin{itemize}
33 \item Introducing new monad types
34 \item Generic programming
35 \item Designing modular DSL's
36 \item Concurrency frameworks in functional languages
37 \end{itemize}
38 \end{itemize}
39 \end{block}
40 \end{frame}
41
42 \section{Contents}
43
44 \section{Discussion}
45
46 \end{document}