| 2008 |
|---|
| 6 | EE | Andrew M. Pitts,
Mark R. Shinwell:
Generative Unbinding of Names
CoRR abs/0801.1251: (2008) |
| 2007 |
|---|
| 5 | EE | Andrew M. Pitts,
Mark R. Shinwell:
Generative unbinding of names.
POPL 2007: 85-95 |
| 2006 |
|---|
| 4 | EE | John Billings,
Peter Sewell,
Mark R. Shinwell,
Rok Strnisa:
Type-safe distributed programming for OCaml.
ML 2006: 20-31 |
| 3 | EE | Mark R. Shinwell:
Fresh O'Caml: Nominal Abstract Syntax for the Masses.
Electr. Notes Theor. Comput. Sci. 148(2): 53-77 (2006) |
| 2005 |
|---|
| 2 | EE | Mark R. Shinwell,
Andrew M. Pitts:
On a monadic semantics for freshness.
Theor. Comput. Sci. 342(1): 28-55 (2005) |
| 2003 |
|---|
| 1 | EE | Mark R. Shinwell,
Andrew M. Pitts,
Murdoch Gabbay:
FreshML: programming with binders made simple.
ICFP 2003: 263-274 |
