rapid unplanned disassembly

Stephen Dolan

I'm a programming languages researcher, working at OCaml Labs (part of the Computer Laboratory of the University of Cambridge).

I recently finished my PhD on type inference with subtyping (supervised by Prof. Alan Mycroft). These days, I mainly work on multicore OCaml.

Contact me at:

email stephen.dolan delete delete cl.cam.ac.uk
github stedolan
office FW01 in the Computer Laboratory