1. Hashing Modulo Context-Sensitive -Equivalence;Proceedings of the ACM on Programming Languages;2024-06-20
2. WebPie: A Tiny Slice of Dependent Typing;Electronic Proceedings in Theoretical Computer Science;2024-04-06
3. Containers for GUI Models;Companion Proceedings of the 8th International Conference on the Art, Science, and Engineering of Programming;2024-03-11
4. Strictly Monotone Brouwer Trees for Well Founded Recursion over Multiple Arguments;Proceedings of the 13th ACM SIGPLAN International Conference on Certified Programs and Proofs;2024-01-09
5. Decalf: A Directed, Effectful Cost-Aware Logical Framework;Proceedings of the ACM on Programming Languages;2024-01-05