On the use of LISP in implementing denotational semantics

Abstract

Automatic compiler generators and semantics systems typically produce compilers which depend heavily on the mechanism of ~-reduction. This is particularly true of them systems based on denotational romantic, since their descriptive notatious are bMmd on the A-calculus.