Functional Programming with Overloading and Higher-Order Polymorphism.

Published in: Advanced Functional Programming (1995)

Keyphrases

functional programming
higher order
functional language
programming language
execution model
object oriented programming
quantifier elimination
pairwise
artificial intelligence
object oriented
multi dimensional
first order logic