1. Toward introducing binding-time analysis to MetaOCaml;Proceedings of the 2016 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation;2016-01-11
2. Painless programming combining reduction and search;ACM SIGPLAN Notices;2012-10-15
3. Painless programming combining reduction and search;Proceedings of the 17th ACM SIGPLAN international conference on Functional programming;2012-09-09
4. An Efficient Staging Algorithm for Binding-Time Analysis;Logic Based Program Synthesis and Transformation;2004
5. Binding-Time Analysis for MetaML via Type Inference and Constraint Solving;Tools and Algorithms for the Construction and Analysis of Systems;2004