Does anyone know of any publications detailing a *denotational* semantics
of LISP - I want the dynamically scoped, can treat data-as-programs
versions of LISP, rather than tidied up versions such as Scheme.
Or is there a good reason why they don't exist ?
Andrew Butterfield, ········@cs.tcd.ie
Dept. of Computer Science, Trinity College, Dublin 2, IRELAND