1. Beyond Trees: Calculating Graph-Based Compilers (Functional Pearl);Proceedings of the ACM on Programming Languages;2024-08-15
2. Almost-Sure Termination by Guarded Refinement;Proceedings of the ACM on Programming Languages;2024-08-15
3. A Logical Approach to Type Soundness;Journal of the ACM;2024-07-10
4. Deriving Dependently-Typed OOP from First Principles;Proceedings of the ACM on Programming Languages;2024-04-29
5. Deciding Equations in the Time Warp Algebra;Logical Methods in Computer Science;2024-01-26