1. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10
2. An ML-Style Module System for Cross-Stage Type Abstraction in Multi-stage Programming;Lecture Notes in Computer Science;2024
3. Fluent APIs in Functional Languages;Proceedings of the ACM on Programming Languages;2023-04-06
4. Modularisation;Texts in Computer Science;2022
5. The history of Standard ML;Proceedings of the ACM on Programming Languages;2020-06-12