Statistics
Publications
7
Citations
374
H-Index
7
Active since
2003
Affiliations
University of Cambridge(Current)
Mark R. Shinwell is an author at University of Cambridge specializing in computer science, type systems, and programming languages.
Publications per year
2003–2021
7
7
Mark R. Shinwell, Andrew M. Pitts, Murdoch J. Gabbay · 2003 · 174 citations
On a monadic semantics for freshness
Mark R. Shinwell, Andrew M. Pitts · Theoretical Computer Science · 2005 · 58 citations
Fresh Objective Caml user manual
Mark R. Shinwell, Andrew M. Pitts · 2021 · 26 citations · Full text
Type-safe distributed programming for OCaml
John N. Billings, Peter Sewell, Mark R. Shinwell et al. · 2006 · 25 citations
1–5 of 7