From: Mart Lubbers Date: Mon, 21 Mar 2016 18:02:50 +0000 (+0100) Subject: up X-Git-Tag: first_presentation~5 X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=f692fc6ca72b986f440a25c43f9dba5af98796e0;p=rsss1516.git up --- diff --git a/long1/long.tex b/long1/long.tex index 202e709..ab65bb8 100644 --- a/long1/long.tex +++ b/long1/long.tex @@ -2,7 +2,45 @@ \begin{document} \frame{\titlepage} +\section{Introduction} \begin{frame} - Hello world! + \frametitle{Scientific Impact} + \begin{itemize} + \item Cited $676$ times in $23$ years + \item $\pm 30$ cites per year + \item Cited as de-facto monad introducing paper + \item Monads in computer science: Moggi et al.\ in $1989$ + \end{itemize} \end{frame} + +\begin{frame} + \frametitle{Objective \& Current state} + \begin{block}{Objective} + \begin{itemize} + \item First introduction to monads + \item Layman's terms + \end{itemize} + \end{block} + + \pause% + \begin{block}{Current state of the art} + \begin{itemize} + \item $2016$: $2$ papers citing Wadler + \item $2015$: $24$ papers citing Wadler + \item Ranging from + \pause% + \begin{itemize} + \item Introducing new monad types + \item Generic programming + \item Designing modular DSL's + \item Concurrency frameworks in functional languages + \end{itemize} + \end{itemize} + \end{block} +\end{frame} + +\section{Contents} + +\section{Discussion} + \end{document}