1. Deep Embedding with Class;Lecture Notes in Computer Science;2022
2. Persistent software transactional memory in Haskell;Proceedings of the ACM on Programming Languages;2021-08-22
3. Dynamic Editors for Well-Typed Expressions;Lecture Notes in Computer Science;2021
4. Demo: counterpoint by construction;Proceedings of the 7th ACM SIGPLAN International Workshop on Functional Art, Music, Modeling, and Design - FARM 2019;2019
5. Saint: An API-Generic Type-Safe Interpreter;Lecture Notes in Computer Science;2019