dmw9q@uvacs.cs.Virginia.EDU (David M. Warme) (11/09/90)
I am thinking of writing a detailed "User Report" on the
denotational semantics of Scheme as given in the R3RS. This is
for a class project. The target audience would be upper-level
undergrads and first-year grads. It would include an
introduction to the lambda calculus, as well as denotational
semantics. In particular, it would contain a detailed
description of each domain and semantic function.
Does anybody know if this has been done before? Is it in print
anywhere? If so, please E-mail a reference to me. If there are any
references out there, I will summarize to the net.
Thanks, - Dave Warme