The Scheme 311 Compiler: An Exercise in Denotational Semantics.

William D. Clinger

Published in: LISP and Functional Programming (1984)

Keyphrases

denotational semantics
programming language
general purpose
object oriented
databases
artificial intelligence
spatio temporal
data warehouse
software engineering
software systems
first order logic
distributed environment