1. Infix-Extensible Record Types for Tabular Data;Proceedings of the 8th ACM SIGPLAN International Workshop on Type-Driven Development;2023-08-30
2. Generic Programming with Extensible Data Types: Or, Making Ad Hoc Extensible Data Types Less Ad Hoc;Proceedings of the ACM on Programming Languages;2023-08-30
3. Typing Records, Maps, and Structs;Proceedings of the ACM on Programming Languages;2023-08-30
4. Multi-stage programming in the large with staged classes;Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2020-11-16
5. Refinement kinds: type-safe programming with practical type-level computation;Proceedings of the ACM on Programming Languages;2019-10-10