1. Tabulation with Zippers;Lecture Notes in Computer Science;2024
2. Efficient Embedding of Strategic Attribute Grammars via Memoization;Proceedings of the 2023 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2023-01-15
3. Zipping Strategies and Attribute Grammars;Functional and Logic Programming;2022
4. Performance Analysis of Zippers;Declarative Programming and Knowledge Management;2020
5. Sums of products for mutually recursive datatypes: the appropriationist’s view on generic programming;Proceedings of the 3rd ACM SIGPLAN International Workshop on Type-Driven Development;2018-09-27