FreshML: programming with binders made simple. - Mark R. Shinwell; Andrew M. Pitts; Murdoch Gabbay (ICFP, 2003)

Fresh O'Caml: Nominal Abstract Syntax for the Masses. - Mark R. Shinwell (ML, 2005)

On a monadic semantics for freshness. - Mark R. Shinwell; Andrew M. Pitts (Theor. Comput. Sci., 2005)

The fresh approach: functional programming with names and binders. - Mark R. Shinwell (2005)

Type-safe distributed programming for OCaml. - John Billings; Peter Sewell; Mark R. Shinwell; Rok Strnisa (ML, 2006)

Generative Unbinding of Names. - Andrew M. Pitts; Mark R. Shinwell (Log. Methods Comput. Sci., 2008)