1. A strong call-by-need calculus;Logical Methods in Computer Science;2023-03-24
2. Automating the Functional Correspondence Between Higher-Order Evaluators and Abstract Machines;Logic-Based Program Synthesis and Transformation;2022
3. Crumbling Abstract Machines;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
4. Abstract machines for Open Call-by-Value;Science of Computer Programming;2019-10
5. Pattern Matching and Fixed Points;Proceedings of the 20th International Symposium on Principles and Practice of Declarative Programming;2018-09-03