From 65431048d719e479e40189224ee520499e05a5da Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Mon, 1 Jul 2019 12:18:44 -0700 Subject: [PATCH 1/2] Alternative title and dedication. --- thesis.tex | 17 ++++++++++++++--- 1 file changed, 14 insertions(+), 3 deletions(-) diff --git a/thesis.tex b/thesis.tex index 4e90027..219d11e 100644 --- a/thesis.tex +++ b/thesis.tex @@ -18,7 +18,15 @@ \usepackage{float} % Float control \usepackage{caption,subcaption} % Sub figures support \usepackage[T1]{fontenc} % Fixes font issues -\usepackage{lmodern} +% \usepackage{lmodern} +\usepackage[activate=true, + final, + tracking=true, + kerning=true, + spacing=true, + factor=1100, + stretch=10, + shrink=10]{microtype} \usepackage{enumerate} % Customise enumerate-environments \usepackage{xcolor} % Colours \usepackage{tikz} @@ -28,7 +36,9 @@ %% Information about the title, etc. % \title{Higher-Order Theories of Handlers for Algebraic Effects} -\title{Handlers for Algebraic Effects: Applications, Compilation, and Expressiveness} +% \title{Handlers for Algebraic Effects: Applications, Compilation, and Expressiveness} +% \title{Applications, Compilation, and Expressiveness for Effect Handlers} +\title{Handling Computational Effects} \author{Daniel Hillerström} %% If the year of submission is not the current year, uncomment this line and @@ -75,6 +85,7 @@ \item Ohad Kammar \item School of Informatics (funding) \item Google (Kevin Millikin, Dmitry Stefantsov) + \item Microsoft Research (Daan Leijen) \end{itemize} \end{acknowledgements} @@ -91,7 +102,7 @@ %% Finally, a dedication (this is optional -- uncomment the following line if %% you want one). % \dedication{To my mummy.} -\dedication{\emph{To everyone}} +\dedication{\emph{To be or to do}} % \begin{preface} % A preface will possibly appear here\dots From 6c3b8509a0d40c6c0ab4b83f968af6d2ec90d9af Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Fri, 20 Sep 2019 11:25:17 -0700 Subject: [PATCH 2/2] Yet another potential title. --- thesis.tex | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/thesis.tex b/thesis.tex index 219d11e..e026c8b 100644 --- a/thesis.tex +++ b/thesis.tex @@ -38,7 +38,8 @@ % \title{Higher-Order Theories of Handlers for Algebraic Effects} % \title{Handlers for Algebraic Effects: Applications, Compilation, and Expressiveness} % \title{Applications, Compilation, and Expressiveness for Effect Handlers} -\title{Handling Computational Effects} +% \title{Handling Computational Effects} +\title{Programming Computable Effectful Functions} \author{Daniel Hillerström} %% If the year of submission is not the current year, uncomment this line and