1. Staged Compilation with Module Functors;Proceedings of the ACM on Programming Languages;2024-08-15
2. Intuitionistic Metric Temporal Logic;International Symposium on Principles and Practice of Declarative Programming;2023-10-22
3. MacoCaml: Staging Composable and Compilable Macros;Proceedings of the ACM on Programming Languages;2023-08-30
4. Mœbius: metaprogramming using contextual types: the stage where system f can pattern match on itself;Proceedings of the ACM on Programming Languages;2022-01-12
5. Type-safe generation of modules in applicative and generative styles;Proceedings of the 20th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2021-10-17