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