1. Functional programs that explain their work;ACM SIGPLAN Notices;2012-10-15
2. Functional programs that explain their work;Proceedings of the 17th ACM SIGPLAN international conference on Functional programming;2012-09-09
3. Protrace: Effective Recursion Tracing and Debugging Library for Functional Programming Style in Common Lisp;Artifical Intelligence and Soft Computing;2010
4. Comprehending finite maps for algorithmic debugging of higher-order functional programs;Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming;2008-07-15
5. Lazy call-by-value evaluation;ACM SIGPLAN Notices;2007-10