Static typing for a faulty lambda calculus.

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

Published in: ICFP (2006)

Keyphrases

lambda calculus
programming language
predicate calculus
program understanding
database query languages
general purpose
higher order
formal model
model based diagnosis