On the use of LISP in implementing denotational semantics
Peter Lee, Uwe F. Pleban · 1986
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.