dhil

multi-shot continuations in OCaml

A summary of my activities during the past four years

A LaTeX Class for Informatics theses at The University of Edinburgh

an effect handler-oriented programming language