JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 21, page. 21 - 58, 2011-01
JOURNAL OF FUNCTIONAL PROGRAMMING, vol. 19, page. 107 - 142, 2009-01
ACM SIGPLAN NOTICES, vol. 43, no. 9, page. 353 - 365, 2008-09