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 |
1 | John Billings | [4] |
2 | Murdoch James Gabbay (Murdoch Gabbay) | [1] |
3 | Andrew M. Pitts | [1] [2] [5] [6] |
4 | Peter Sewell | [4] |
5 | Rok Strnisa | [4] |