1. Consistent Subtyping for All;ACM Transactions on Programming Languages and Systems;2020-01-10
2. Return of the Great Spaghetti Monster: Learnings from a Twelve-Year Adventure in Web Software Development;Lecture Notes in Business Information Processing;2018
3. Protecting Against Malicious Bits On the Wire;Proceedings of the 33rd Annual Computer Security Applications Conference;2017-12-04
4. Polymorphic Manifest Contracts, Revised and Resolved;ACM Transactions on Programming Languages and Systems;2017-03-23
5. Types in Programming Languages, Between Modelling, Abstraction, and Correctness;Pursuit of the Universal;2016