Persistent Functional Programming.

David J. McNally Stef Joosten Antony J. T. Davie

Published in: POS (1990)

Keyphrases

functional programming
execution model
functional language
programming language
quantifier elimination
object oriented programming
databases