From f692fc6ca72b986f440a25c43f9dba5af98796e0 Mon Sep 17 00:00:00 2001 From: Mart Lubbers Date: Mon, 21 Mar 2016 19:02:50 +0100 Subject: [PATCH] up --- long1/long.tex | 40 +++++++++++++++++++++++++++++++++++++++- 1 file changed, 39 insertions(+), 1 deletion(-) 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} -- 2.20.1