|
|
@ -27,7 +27,8 @@ |
|
|
matrix,shapes.symbols,intersections} |
|
|
matrix,shapes.symbols,intersections} |
|
|
|
|
|
|
|
|
%% 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} |
|
|
\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 |
|
|
@ -73,7 +74,7 @@ |
|
|
\item Gordon Plotkin |
|
|
\item Gordon Plotkin |
|
|
\item Ohad Kammar |
|
|
\item Ohad Kammar |
|
|
\item School of Informatics (funding) |
|
|
\item School of Informatics (funding) |
|
|
\item Google |
|
|
|
|
|
|
|
|
\item Google (Kevin Millikin, Dmitry Stefantsov) |
|
|
\end{itemize} |
|
|
\end{itemize} |
|
|
\end{acknowledgements} |
|
|
\end{acknowledgements} |
|
|
|
|
|
|
|
|
|
