The [triangle]-Calculus. Functional Programming with Higher-Order Encodings.

Carsten Schürmann Adam Poswolsky Jeffrey Sarnat

Published in: TLCA (2005)

Keyphrases

functional programming
higher order
lambda calculus
programming language
functional language
execution model
quantifier elimination
object oriented programming
pairwise
database query languages
database systems
integrity constraints
planning problems