dhil/phd-dissertation
1
0
Fork 0
mirror of https://github.com/dhil/phd-dissertation synced 2026-03-13 02:58:26 +00:00
Code Issues Releases Wiki Activity

Merge

Browse Source
This commit is contained in:
Daniel Hillerström
2019-11-18 17:33:25 +00:00
parent 6553c629ec 6c3b8509a0
commit ddd151a76c
1 changed files with 16 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
thesis.tex
View File

@@ -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[activate={true,nocompatibility},final,tracking=true,kerning=true,spacing=true,factor=1100,stretch=10,shrink=10]{microtype} % \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}
@@ -40,7 +48,11 @@
%% 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}
% \title{Programming Computable Effectful Functions}
\title{Handling Effectful Computations}
\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
@@ -87,6 +99,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}
@@ -103,7 +116,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