Extending Functional Programming Towards Relations.

Published in: ESOP (1988)

Keyphrases

functional programming
programming language
execution model
functional language
quantifier elimination
object oriented programming
general purpose
high level
management system
spatial relations
data structure
object oriented
distributed environment