A New Model Construction for the Polymorphic Lambda Calculus.

Published in: LPAR (2000)

Keyphrases

model construction
lambda calculus
programming language
database query languages
type checking
predicate calculus
program understanding
influence diagrams
complex objects
pose estimation
computer vision
databases
higher order
data mining
active appearance models
image sequences
high level