|
Researcher |
|
I studied for my PhD (1992-1995) under Alan Mycroft at the University of Cambridge Computer Laboratory. My thesis topic was programming language support for checking units-of-measure in numeric types. Following that I spent a year as a postdoctoral researcher at the Laboratoire d'informatique (LIX) at Ecole Polytechnique in Paris. I then joined Persimmon IT Inc as a research scientist, and co-developed the MLj compiler for Standard ML targeting the Java Virtual Machine. Since 1999 I have been a Researcher at Microsoft Research in Cambridge, England.
My research interests include type systems and formal semantics for programming languages, optimizing compilation, functional programming, and high-level language interoperability. I do not believe in object-oriented programming.
Click on theme to see publications, talks, and software.
Generics for .NET ·
.NET Security ·
Units of Measure in Programming Languages ·
Functional Programming ·
Functional Programming Language Compilation ·
Effects ·
Other ·
2006 ACM SIGPLAN Workshop on ML(PC co-chair) · TLDI'07 (ACM SIGPLAN Workshop on Types in Language Design and Implementation) · CC 2007 (16th International Conference on Compiler Construction)