Principles of Inverse Computation in a Functional Language.

Sergei M. Abramov Robert Glück

Published in: APLAS (2000)

Keyphrases

functional language
functional programming
programming language
management system
deductive databases
execution model
object identity