Works

(Some) current and past projects

OCaml Modules

Code inference

Type inference

Concurrency

Objects