Selected talks by Mark Shinwell


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.