weigele@fbihh.UUCP (Martin Weigele) (05/02/90)
As someone who has watched the uprise of Scheme as a semantically very "clean" dialect of LISP, I understand there must have been quite some theoretical concern behind its definition. (Perhaps Scheme could be considered the "Modula-2" of the LISPs, whereas CommonLisp relates to PL/1 or, even worse, ADA...) This is reflected by a denotational semantics for parts of scheme given in the "Revised Report". Does anybody out there know any further work in this direction since this report was published? Do the M.I.T. people still work on this? Martin Weigele, FB Informatik, Univ. Hamburg