1. Complete Stream Fusion for Software-Defined Radio;Proceedings of the 2024 ACM SIGPLAN International Workshop on Partial Evaluation and Program Manipulation;2024-01-11
2. MacoCaml: Staging Composable and Compilable Macros;Proceedings of the ACM on Programming Languages;2023-08-30
3. A General Fine-Grained Reduction Theory for Effect Handlers;Proceedings of the ACM on Programming Languages;2023-08-30
4. flap: A Deterministic Parser with Fused Lexing;Proceedings of the ACM on Programming Languages;2023-06-06
5. Hefty Algebras: Modular Elaboration of Higher-Order Algebraic Effects;Proceedings of the ACM on Programming Languages;2023-01-09