Deep learning experiments in OCaml

What the interns have wrought, 2018 edition

Plans for OCaml 4.08

Static access control using phantom types (2008)

Putting the I back in IDE

Proofs and Refutations Using Z3

Ironing out your development style