1. Modal μ-Calculus for Free in Agda;Proceedings of the 9th ACM SIGPLAN International Workshop on Type-Driven Development;2024-08-28
2. Slice closures of indexed languages and word equations with counting constraints;Proceedings of the 39th Annual ACM/IEEE Symposium on Logic in Computer Science;2024-07-08
3. On Model-Checking Higher-Order Effectful Programs;Proceedings of the ACM on Programming Languages;2024-01-05
4. Monadic Intersection Types, Relationally;Lecture Notes in Computer Science;2024
5. Higher-Order Property-Directed Reachability;Proceedings of the ACM on Programming Languages;2023-08-30