From: Mart Lubbers Date: Mon, 23 May 2016 17:45:18 +0000 (+0200) Subject: update X-Git-Url: https://git.martlubbers.net/?a=commitdiff_plain;h=7f3271aef2baa3033817a4439cb1c470eb0aa5fa;p=rsss1516.git update --- diff --git a/long2/slides.tex b/long2/slides.tex index 88f641a..93e0b35 100644 --- a/long2/slides.tex +++ b/long2/slides.tex @@ -8,8 +8,33 @@ \begin{document} \frame{\titlepage} - +% Objective: what is the goal of this work, what problem is addressed, what was +% the current state of the art, who is the work aimed at? \begin{frame} - \frametitle{Introduction} + \frametitle{Objective} + \begin{block}{Elaborate on the type system} + \begin{itemize}[<+->] + \item Typed racket + \item Implemented as macro + \item No extra syntax or annotations + \item Syntactical analyses + \end{itemize} + \end{block} \end{frame} +% Proposal: if the paper presents a new idea, what, in a nutshell, is it? + +% Evidence: Support for claims - Theorems? Case studies? Simulations? + +% Benchmarks? Does evidence address issues needed to support claims? + +% Shoulders of giants...: what previous research does this work build on? What +% are the key underlying theoretical ideas? Software infrastructure? + +% Impact: has this work been influential? When later research papers cite it, +% what contribution is being referred to? + +% Writing: analyse the writing + +% Discussion points: end with questions which you think should arise + \end{document}