1. 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
2. The Essence of Reactivity;Proceedings of the 16th ACM SIGPLAN International Haskell Symposium;2023-08-30
3. Types that Change: The Extensible Type Design Pattern;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30
4. A Software Architecture Based on Coarse-Grained Self-Adjusting Computations;Proceedings of the 1st ACM SIGPLAN International Workshop on Functional Software Architecture;2023-08-30
5. Asynchronous Modal FRP;Proceedings of the ACM on Programming Languages;2023-08-30