An error-tolerant type system for variational lambda calculus.

Sheng Chen Martin Erwig Eric Walkingshaw

Published in: ICFP (2012)

Keyphrases

error tolerant
lambda calculus
graph matching
database query languages
programming language
predicate calculus
general purpose
type checking
high dimensional
program understanding
database
high level
pattern recognition
software engineering
complex objects