Functional Programming With Higher-order Abstract Syntax and Explicit Substitutions.

Brigitte Pientka

Published in: Electron. Notes Theor. Comput. Sci. (2007)

Keyphrases

functional programming
higher order
execution model
functional language
high level
programming language
quantifier elimination
object oriented programming
pairwise
predicate calculus
artificial intelligence
data integration
data types