Mark R. Shinwell

	2008
7		Andrew M. Pitts, Mark R. Shinwell: Generative Unbinding of Names CoRR abs/0801.1251: (2008)
6		Andrew M. Pitts, Mark R. Shinwell: Generative Unbinding of Names. Logical Methods in Computer Science 4(1): (2008)
	2007
5		Andrew M. Pitts, Mark R. Shinwell: Generative unbinding of names. POPL 2007: 85-95
	2006
4		John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa: Type-safe distributed programming for OCaml. ML 2006: 20-31
3		Mark R. Shinwell: Fresh O'Caml: Nominal Abstract Syntax for the Masses. Electr. Notes Theor. Comput. Sci. 148(2): 53-77 (2006)
	2005
2		Mark R. Shinwell, Andrew M. Pitts: On a monadic semantics for freshness. Theor. Comput. Sci. 342(1): 28-55 (2005)
	2003
1		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] [7]
4	Peter Sewell	[4]
5	Rok Strnisa	[4]

Colors in the list of coauthors