1. Closure-Free Functional Programming in a Two-Level Type Theory;Proceedings of the ACM on Programming Languages;2024-08-15
2. MetaOCaml: Ten Years Later;Lecture Notes in Computer Science;2024
3. Partial Evaluation of Automatic Differentiation for Differential-Algebraic Equations Solvers;Proceedings of the 22nd ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2023-10-22
4. Symbolic Disintegration with a Variety of Base Measures;ACM Transactions on Programming Languages and Systems;2020-05-27
5. Demystifying differentiable programming: shift/reset the penultimate backpropagator;Proceedings of the ACM on Programming Languages;2019-07-26