1. Live Pattern Matching with Typed Holes;Proceedings of the ACM on Programming Languages;2023-04-06
2. Optimising First-Class Pattern Matching;Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering;2022-11-29
3. Strictly capturing non-strict closures;Proceedings of the 2021 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2021-01-17
4. Modular, Correct Compilation with Automatic Soundness Proofs;Leveraging Applications of Formal Methods, Verification and Validation. Modeling;2018
5. Dualizing Generalized Algebraic Data Types by Matrix Transposition;Programming Languages and Systems;2018