Mark R. Shinwell

According to our database, Mark R. Shinwell authored at least 6 papers between 2003 and 2008.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2008

Generative Unbinding of Names.

Andrew M. Pitts, Mark R. Shinwell

Log. Methods Comput. Sci., 2008

2006

Type-safe distributed programming for OCaml.

John Billings, Peter Sewell, Mark R. Shinwell, Rok Strnisa

Proceedings of the ACM Workshop on ML, 2006, Portland, Oregon, USA, September 16, 2006, 2006

2005

The fresh approach: functional programming with names and binders.

Mark R. Shinwell

PhD thesis, 2005

On a monadic semantics for freshness.

Mark R. Shinwell, Andrew M. Pitts

Theor. Comput. Sci., 2005

Fresh O'Caml: Nominal Abstract Syntax for the Masses.

Mark R. Shinwell

Proceedings of the ACM-SIGPLAN Workshop on ML, 2005

2003

FreshML: programming with binders made simple.

Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003