dhil

A summary of my activities during the past four years

multi-shot continuations in OCaml

A LaTeX Class for Informatics theses at The University of Edinburgh

an effect handler-oriented programming language