1. Fluid quotes: metaprogramming across abstraction boundaries with dependent types;Proceedings of the 19th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2020-11-15
2. A practical unification of multi-stage programming and macros;ACM SIGPLAN Notices;2020-04-07
3. A practical unification of multi-stage programming and macros;Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences;2018-11-05
4. Concurrency Theory: A Historical Perspective on Coinduction and Process Calculi;Computational Logic;2014
5. Appendix A: Introduction to Haskell;Enterprise Software Architecture and Design;2012-01-20