HashCaml: type-safe marshalling for O'Caml.
Semantics Lunch, University of Cambridge Computer Laboratory,
December 2005.
Download: PDF.
Fresh O'Caml: nominal abstract syntax for the masses.
Presented at the ML Workshop 2005.
Download: PDF.
On a Monadic Semantics for Freshness.
Presented at APPSEM 2004.
Download: gzipped PostScript.
Swapping the Atom: Programming with Binders in Fresh O'Caml.
Presented at MERLIN 2003.
Download: gzipped PostScript.
FreshML: Programming with Binders Made Simple.
Presented at
ICFP'03.
Download: gzipped PostScript.
Last update 10th December 2005.