David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August. Static typing for a faulty lambda calculus. In John H. Reppy, Julia L. Lawall, editors, Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006. pages 38-49, ACM, 2006. [doi]
Abstract is missing.