1. Stream Types;Proceedings of the ACM on Programming Languages;2024-06-20
2. Productivity Verification for Functional Programs by Reduction to Termination Verification;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
3. Being Lazy When It Counts;Lecture Notes in Computer Science;2024
4. Reactive Programming. A Brief Analysis in the Context of Programming Paradigms;Springer Proceedings in Business and Economics;2024
5. Types that Change: The Extensible Type Design Pattern;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30