David Walker Lester W. Mackey Jay Ligatti George A. Reis David I. August Static typing for a faulty lambda calculus. 38-49 2006 conf/icfp/2006 ICFP http://doi.acm.org/10.1145/1159803.1159809 db/conf/icfp/icfp2006.html#WalkerMLRA06