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.
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
Jack Williams, J. Garrett Morris, Philip Wadler, and Jakub Zalewski 31st European Conference on Object-Oriented Programming (ECOOP 2017)
See my GitHub for code that I have written and repositories that I contribute to.
Evaluated Software Artifacts: