dhil
Effectful programmer
Computing Systems Laboratory, Zurich Research Center, Huawei Technologies SwitzerlandZurich, Switzerland
Pinned Repositories
wasmtime
A fast and secure runtime for WebAssembly
gocaml
a moral encoding of the control flow primitives of Go in OCaml using effect handlers
h
an experimental basic imperative procedural language with effect handlers
inf-thesis-latex-cls
A LaTeX Class for Informatics theses at The University of Edinburgh
ocaml-multicont
multi-shot continuations in OCaml
phd-dissertation
A summary of my activities during the past four years
pthandlers
an encoding of affine effect handlers using pthreads
links
Links: Linking Theory to Practice for the Web
effects-examples
Examples to illustrate the use of algebraic effects in Multicore OCaml
effects-bibliography
A collaborative bibliography of work related to the theory and practice of computational effects
dhil's Repositories
dhil/pthandlers
an encoding of affine effect handlers using pthreads
dhil/h
an experimental basic imperative procedural language with effect handlers
dhil/hx
an effect handler-oriented programming language
dhil/best-aalborg-songbook
BEST Aalborg Songbook
dhil/ocaml-multicore
Multicore OCaml
dhil/t20
Triple 20: A domain specific language for kernel-to-kernel transformations.
dhil/hank
a research programming language based on handlers
dhil/koka
Koka language compiler and interpreter
dhil/llama-compiler
An example of interfacing with the backend of the OCaml compiler
dhil/binaryen
Optimizer and compiler/toolchain library for WebAssembly
dhil/dart-sdk
The Dart SDK, including the VM, dart2js, core libraries, and more.
dhil/effects-for-efficiency-code
Source code for the experiments in "Effects for Efficiency: Asymptotic Speedup with Delimited Control"
dhil/effects-rosetta-stone
A comparison of how computational effects and handlers are implemented in various programming languages.
dhil/gdis-2018
Coding workshop for GDIS at Google Aarhus September 2018
dhil/google-tech-talk-2018
Materials for my Google Tech Talk 2018
dhil/howoldami
something like whoami
dhil/icfp2020-captions
dhil/inf-homepage
My homepage at the School of Informatics, University of Edinburgh, Scotland.
dhil/interface-types
dhil/jankscripten
dhil/libmprompt
Robust multi-prompt delimited control and effect handlers in C/C++
dhil/module-linking
Proposal for allowing modules to define, import and export modules and instances
dhil/ocaml-cgi
dhil/ocaml-deriving
Extension to OCaml for deriving functions from type declarations.
dhil/ocaml-eff-example
Examples to illustrate the use of algebraic effects in OCaml
dhil/ocaml-integers
Various signed and unsigned integer types for OCaml
dhil/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.
dhil/pringo
A library of splittable pseudo-random number generators for OCaml
dhil/splncs04nat
natbib compatible splncs04.bst (Springer LNCS) BibTeX Style File built using a docstrip with the conventional merlin.mbs master file.
dhil/what-is-algebraic-about-algebraic-effects