1. On the design, implementation, and use of laziness in R;Proceedings of the ACM on Programming Languages;2019-10-10
2. Macrofication: Refactoring by Reverse Macro Expansion;Programming Languages and Systems;2016
3. Sweeten your JavaScript;ACM SIGPLAN Notices;2015-05-12
4. Auto in Agda;Lecture Notes in Computer Science;2015
5. Engineering Proof by Reflection in Agda;Implementation and Application of Functional Languages;2013