Experiments with destructive updates in a lazy functional language (extended abstract).

Pieter H. Hartel Willem G. Vree

Published in: Functional Programming (1993)

Keyphrases

extended abstract
functional language
functional programming
programming language
proof planning
database
execution model
object oriented
general purpose
concept formation
object identity
logic programs
theorem proving