Third-Order Matching in the Polymorphic Lambda Calculus.

Jan Springintveld

Published in: HOA (1995)

Keyphrases

lambda calculus
programming language
database query languages
databases
knowledge base
wordnet
relational model
predicate calculus
type checking
program understanding