|
|
@ -18,7 +18,15 @@ |
|
|
\usepackage{float} % Float control |
|
|
\usepackage{float} % Float control |
|
|
\usepackage{caption,subcaption} % Sub figures support |
|
|
\usepackage{caption,subcaption} % Sub figures support |
|
|
\usepackage[T1]{fontenc} % Fixes font issues |
|
|
\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{enumerate} % Customise enumerate-environments |
|
|
\usepackage{xcolor} % Colours |
|
|
\usepackage{xcolor} % Colours |
|
|
\usepackage{tikz} |
|
|
\usepackage{tikz} |
|
|
@ -28,7 +36,9 @@ |
|
|
|
|
|
|
|
|
%% Information about the title, etc. |
|
|
%% Information about the title, etc. |
|
|
% \title{Higher-Order Theories of Handlers for Algebraic Effects} |
|
|
% \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} |
|
|
\author{Daniel Hillerström} |
|
|
|
|
|
|
|
|
%% If the year of submission is not the current year, uncomment this line and |
|
|
%% If the year of submission is not the current year, uncomment this line and |
|
|
@ -75,6 +85,7 @@ |
|
|
\item Ohad Kammar |
|
|
\item Ohad Kammar |
|
|
\item School of Informatics (funding) |
|
|
\item School of Informatics (funding) |
|
|
\item Google (Kevin Millikin, Dmitry Stefantsov) |
|
|
\item Google (Kevin Millikin, Dmitry Stefantsov) |
|
|
|
|
|
\item Microsoft Research (Daan Leijen) |
|
|
\end{itemize} |
|
|
\end{itemize} |
|
|
\end{acknowledgements} |
|
|
\end{acknowledgements} |
|
|
|
|
|
|
|
|
@ -91,7 +102,7 @@ |
|
|
%% Finally, a dedication (this is optional -- uncomment the following line if |
|
|
%% Finally, a dedication (this is optional -- uncomment the following line if |
|
|
%% you want one). |
|
|
%% you want one). |
|
|
% \dedication{To my mummy.} |
|
|
% \dedication{To my mummy.} |
|
|
\dedication{\emph{To everyone}} |
|
|
|
|
|
|
|
|
\dedication{\emph{To be or to do}} |
|
|
|
|
|
|
|
|
% \begin{preface} |
|
|
% \begin{preface} |
|
|
% A preface will possibly appear here\dots |
|
|
% A preface will possibly appear here\dots |
|
|
|