From ad66243cb9915d2628e3fb21c9b7b85acb8cba6f Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Daniel=20Hillerstr=C3=B6m?= Date: Sun, 18 Nov 2018 21:46:01 +0100 Subject: [PATCH] Another possible title. --- thesis.tex | 5 +++-- 1 file changed, 3 insertions(+), 2 deletions(-) diff --git a/thesis.tex b/thesis.tex index b79dcb4..3331573 100644 --- a/thesis.tex +++ b/thesis.tex @@ -27,7 +27,8 @@ matrix,shapes.symbols,intersections} %% 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} \author{Daniel Hillerström} %% If the year of submission is not the current year, uncomment this line and @@ -73,7 +74,7 @@ \item Gordon Plotkin \item Ohad Kammar \item School of Informatics (funding) - \item Google + \item Google (Kevin Millikin, Dmitry Stefantsov) \end{itemize} \end{acknowledgements}