Mark R. Shinwell

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

Coauthor Index

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]

Colors in the list of coauthors