1. The Essence of Generalized Algebraic Data Types;Proceedings of the ACM on Programming Languages;2024-01-05
2. A Functional Abstraction of Typed Invocation Contexts;Logical Methods in Computer Science;2022-09-15
3. Combinatory Adjoints and Differentiation;Electronic Proceedings in Theoretical Computer Science;2022-06-30
4. Normalization by Evaluation for Call-By-Push-Value and Polarized Lambda Calculus;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
5. Extracting a call-by-name partial evaluator from a proof of termination;Proceedings of the 2019 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation - PEPM 2019;2019