1. Haskelite: A Tracing Interpreter Based on a Pattern-Matching Calculus;Proceedings of the 17th ACM SIGPLAN International Haskell Symposium;2024-08-28
2. Closure Conversion in Little Pieces;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
3. Sharing a Perspective on the -Calculus;Proceedings of the 2023 ACM SIGPLAN International Symposium on New Ideas, New Paradigms, and Reflections on Programming and Software;2023-10-18
4. CSI: Haskell - Tracing Lazy Evaluations in a Functional Language;The 35th Symposium on Implementation and Application of Functional Languages;2023-08-29
5. Multi types and reasonable space;Proceedings of the ACM on Programming Languages;2022-08-29