I am currently a Postdoc at Microsoft Research working on the Calc Intelligence project. My research is aimed at enriching spreadsheet programming with a focus on safety and extensibility.
Previously I was a PhD student at the University of Edinburgh working with Philip Wadler on contracts and gradual typing. My work includes contract semantics, blame, and the empirical evaluation of gradual typing.
Email: jw ~at~ jackw ~dot~ io
PublicationsThe Root Cause of Blame: Contracts for Intersection and Union Types (OOPSLA 2018) Mixed Messages: Measuring Conformance and Non-Interference in TypeScript (ECOOP 2017)
My GitHub page can be found here; I occasionally contribute to TypeScript. Any code associated with my research is best obtained from the artifact repository. See the following links: Mixed Messages: Measuring Conformance and Non-Interference in TypeScript and contracts-ts.