|
|
@ -1,5 +1,5 @@ |
|
|
%% 12pt font size, PhD thesis, LFCS, print twosided, new chapters on right page |
|
|
%% 12pt font size, PhD thesis, LFCS, print twosided, new chapters on right page |
|
|
\documentclass[12pt,phd,lfcs,twoside,openright,logo,rightchapter,normalheadings]{infthesis} |
|
|
|
|
|
|
|
|
\documentclass[12pt,phd,lfcs,twoside,openright,logo,leftchapter,normalheadings]{infthesis} |
|
|
\shieldtype{0} |
|
|
\shieldtype{0} |
|
|
|
|
|
|
|
|
%% Packages |
|
|
%% Packages |
|
|
@ -27,7 +27,7 @@ |
|
|
matrix,shapes.symbols,intersections} |
|
|
matrix,shapes.symbols,intersections} |
|
|
|
|
|
|
|
|
%% Information about the title, etc. |
|
|
%% Information about the title, etc. |
|
|
\title{Daniel's PhD Thesis} |
|
|
|
|
|
|
|
|
\title{Higher-Order Theories of Handlers for Algebraic 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 |
|
|
@ -90,7 +90,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{To everyone} |
|
|
|
|
|
|
|
|
\dedication{\emph{To everyone}} |
|
|
|
|
|
|
|
|
% \begin{preface} |
|
|
% \begin{preface} |
|
|
% A preface will possibly appear here\dots |
|
|
% A preface will possibly appear here\dots |
|
|
@ -119,6 +119,25 @@ |
|
|
\label{ch:introduction} |
|
|
\label{ch:introduction} |
|
|
An enthralling introduction\dots |
|
|
An enthralling introduction\dots |
|
|
|
|
|
|
|
|
|
|
|
\section{Thesis outline} |
|
|
|
|
|
Thesis outline\dots |
|
|
|
|
|
|
|
|
|
|
|
\section{Typographical conventions} |
|
|
|
|
|
Explain conventions\dots |
|
|
|
|
|
|
|
|
|
|
|
\section{State of effectful programming} |
|
|
|
|
|
Related work\dots |
|
|
|
|
|
|
|
|
|
|
|
\chapter{The theory of algebraic effects and their handlers} |
|
|
|
|
|
|
|
|
|
|
|
\chapter{On the expressive power of effect handlers} |
|
|
|
|
|
|
|
|
|
|
|
\chapter{Abstract machines theories for effect handlers} |
|
|
|
|
|
|
|
|
|
|
|
\chapter{Continuation passing style theories for effect handlers} |
|
|
|
|
|
|
|
|
|
|
|
\chapter{Abstracting continuations: a unifying theory} |
|
|
|
|
|
|
|
|
\chapter{Conclusions} |
|
|
\chapter{Conclusions} |
|
|
\label{ch:conclusions} |
|
|
\label{ch:conclusions} |
|
|
Some profound conclusions\dots |
|
|
Some profound conclusions\dots |
|
|
@ -127,8 +146,6 @@ Some profound conclusions\dots |
|
|
%% Appendices |
|
|
%% Appendices |
|
|
%% |
|
|
%% |
|
|
% \appendix |
|
|
% \appendix |
|
|
% \chapter{Installing the Links compiler} |
|
|
|
|
|
% \label{ch:install} |
|
|
|
|
|
|
|
|
|
|
|
%% If you want the bibliography single-spaced (which is allowed), uncomment |
|
|
%% If you want the bibliography single-spaced (which is allowed), uncomment |
|
|
%% the next line. |
|
|
%% the next line. |
|
|
|
