Static typing for a faulty lambda calculus.

David Walker, Lester W. Mackey, Jay Ligatti, George A. Reis, David I. August

Browse the full ICFP paper archive.