Functional programming with combinators for symbolic computation.

E. V. Krishnamurthy

Published in: SIGSAM Bull. (1984)

Keyphrases

functional programming
functional language
programming language
execution model
imperative programs
quantifier elimination
recursive functions
object oriented programming
general purpose
inductive inference
information systems
relational databases
data model