A Purely Functional Language with Encapsulated Assignment.

Published in: TACS (1994)

Keyphrases

functional language
functional programming
programming language
proof planning
object identity
databases
high level
database systems
software engineering
execution model