long2/slides.tex

   1 \documentclass{beamer}
   2
   3 \usepackage{stmaryrd}
   4
   5 \title{Do you see what I see?}
   6 \subtitle{\emph{Functional pearl} (2016)}
   7 \author{M.~Lubbers}
   8 \date{\today}
   9
  10 \begin{document}
  11 \frame{\titlepage}
  12 % Objective: what is the goal of this work, what problem is addressed, what was
  13 % the current state of the art, who is the work aimed at?
  14 \begin{frame}
  15         \frametitle{Objective}
  16         \begin{block}{Elaborate on the type system}
  17                 \begin{itemize}
  18                         \pause\item Racket programming language
  19                         \pause\item Implemented as macro
  20                         \pause\item No extra syntax or annotations
  21                         \pause\item Syntactical analyses
  22                 \end{itemize}
  23         \end{block}
  24         \begin{block}{Why?}
  25                 \begin{itemize}[<+->]
  26                         \item Pass typechecker? Correct program\ldots
  27                         \item Solve problems with arity
  28                         \item Look at text
  29                 \end{itemize}
  30         \end{block}
  31 \end{frame}
  32
  33 % Proposal: if the paper presents a new idea, what, in a nutshell, is it?
  34 \begin{frame}
  35         \frametitle{Proposal (1)}
  36         \begin{block}{Notation}
  37                 Implementation in Typed Racket\\
  38                 %macro language that compiles in racket BEFORE type checking
  39                 \texttt{$\llbracket$e$\rrbracket$}- Elaboration function on $e$\\
  40         \end{block}
  41         \pause%
  42         \begin{block}{Curry example}
  43                 \begin{tabular}{rl}
  44                         \texttt{$\llbracket$ (curry ($\lambda$ (x y) x)) $\rrbracket$}
  45                                 & \texttt{= (curry\_2 ($\lambda$ (x y) x))}\\
  46                         \pause%
  47                         \texttt{$\llbracket$ (curry ($\lambda$ (x y z) x)) $\rrbracket$}
  48                                 & \texttt{= (curry\_3 ($\lambda$ (x y z) x))}\\
  49                         \end{tabular}
  50         \end{block}
  51 \end{frame}
  52
  53 % Evidence: Support for claims - Theorems? Case studies? Simulations?
  54
  55 % Benchmarks? Does evidence address issues needed to support claims?
  56
  57 % Shoulders of giants...: what previous research does this work build on? What
  58 % are the key underlying theoretical ideas? Software infrastructure?
  59
  60 % Impact: has this work been influential? When later research papers cite it,
  61 % what contribution is being referred to?
  62
  63 % Writing: analyse the writing
  64
  65 % Discussion points: end with questions which you think should arise
  66
  67 \end{document}