Jack Williams
About

I'm a fourth (final) year PhD student at Edinburgh working with Philip Wadler on contracts and gradual typing. My work covers contract semantics, blame, and how contracts and gradual typing can be used in practice.

My wider interests span various topics related to functional programming such as type systems, computational effects, and spreadsheets.

Publications

The Root Cause of Blame: Contracts for Intersection and Union Types

Jack Williams, J. Garrett Morris, and Philip Wadler
Proc. ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2018)
Availability: ACM, PDF


Mixed Messages: Measuring Conformance and Non-Interference in TypeScript

Jack Williams, J. Garrett Morris, Philip Wadler, and Jakub Zalewski
31st European Conference on Object-Oriented Programming (ECOOP 2017)

Availability: LIPIcs, PDF

Code

See my GitHub for code that I have written and repositories that I contribute to.

Evaluated Software Artifacts:

Contact

Email:

jack.williams ~at~ ed.ac.uk (Research)

jw ~at~ jackw.io

Profiles:

LinkedIn

GitHub