1. Composable Sequence Macros for Fast Iteration;Proceedings of the 21st ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2022-11-29
2. Nominal syntax with atom substitutions;Journal of Computer and System Sciences;2021-08
3. Hygienic macro technology;Proceedings of the ACM on Programming Languages;2020-06-12
4. Functional programming with λ-tree syntax;Proceedings of the 21st International Symposium on Principles and Practice of Programming Languages 2019;2019-10-07
5. Mechanized Metatheory Revisited;Journal of Automated Reasoning;2018-10-04