dhil - Overview

Skip to content

Navigation Menu

Sign in

Appearance settings

Pinned Loading

  1. A summary of my activities during the past four years

    TeX 31

  2. A lightweight WebAssembly runtime that is fast, secure, and standards-compliant

    Rust 17.7k 1.6k

  3. Links: Linking Theory to Practice for the Web

    OCaml 349 47

  4. A collaborative bibliography of work related to the theory and practice of computational effects

    1.1k 91

  5. Examples to illustrate the use of algebraic effects in Multicore OCaml

    OCaml 452 36