1. Compiled, Extensible, Multi-language DSLs (Functional Pearl);Proceedings of the ACM on Programming Languages;2024-08-15
2. A Core Calculus for Documents: Or, Lambda: The Ultimate Document;Proceedings of the ACM on Programming Languages;2024-01-05
3. MacoCaml: Staging Composable and Compilable Macros;Proceedings of the ACM on Programming Languages;2023-08-30
4. Handling Iterations in Distributed Dataflow Systems;ACM Computing Surveys;2022-12-31
5. Enhancing closures in scala 3 with spores3;Proceedings of the Scala Symposium;2022-06-06