Daniel Hillerström's repositories
inf-thesis-latex-cls
A LaTeX Class for Informatics theses at The University of Edinburgh
pthandlers
an encoding of affine effect handlers using pthreads
best-aalborg-songbook
BEST Aalborg Songbook
ocaml-multicore
Multicore OCaml
llama-compiler
An example of interfacing with the backend of the OCaml compiler
effects-for-efficiency-code
Source code for the experiments in "Effects for Efficiency: Asymptotic Speedup with Delimited Control"
effects-rosetta-stone
A comparison of how computational effects and handlers are implemented in various programming languages.
gdis-2018
Coding workshop for GDIS at Google Aarhus September 2018
google-tech-talk-2018
Materials for my Google Tech Talk 2018
inf-homepage
My homepage at the School of Informatics, University of Edinburgh, Scotland.
libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
module-linking
Proposal for allowing modules to define, import and export modules and instances
ocaml-deriving
Extension to OCaml for deriving functions from type declarations.
ocaml-eff-example
Examples to illustrate the use of algebraic effects in OCaml
ocaml-integers
Various signed and unsigned integer types for OCaml
ocaml-Zarith
The Zarith library implements arithmetic and logical operations over arbitrary-precision integers and rational numbers. The implementation, based on GMP, is very efficient.
splncs04nat
natbib compatible splncs04.bst (Springer LNCS) BibTeX Style File built using a docstrip with the conventional merlin.mbs master file.