1. Demo: Composable Compositions with Tonart;Proceedings of the 12th ACM SIGPLAN International Workshop on Functional Art, Music, Modelling, and Design;2024-09-02
2. Staged Compilation with Module Functors;Proceedings of the ACM on Programming Languages;2024-08-15
3. Compiled, Extensible, Multi-language DSLs (Functional Pearl);Proceedings of the ACM on Programming Languages;2024-08-15
4. Semantic Analysis of Macro Usage for Portability;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-02-06
5. MacoCaml: Staging Composable and Compilable Macros;Proceedings of the ACM on Programming Languages;2023-08-30