Resolving Inductive Definitions with Binders in Higher-Order Typed Functional Programming.

Matthew R. Lakin Andrew M. Pitts

Published in: ESOP (2009)

Keyphrases

functional programming
higher order
programming language
lambda calculus
functional language
quantifier elimination
execution model
inductive learning
object oriented programming
pairwise
machine learning
knowledge representation
general purpose
management system