Path: utzoo!attcan!uunet!decwrl!mcnc!uvaarpa!murdoch!uvacs.cs.Virginia.EDU!dmw9q
From: dmw9q@uvacs.cs.Virginia.EDU (David M. Warme)
Newsgroups: comp.lang.scheme
Subject: Formal Semantics of Scheme
Message-ID: <1990Nov8.212549.436@murdoch.acc.Virginia.EDU>
Date: 8 Nov 90 21:25:49 GMT
Sender: news@murdoch.acc.Virginia.EDU
Reply-To: dmw9q@uvacs.cs.Virginia.EDU (David M. Warme)
Organization: University of Virginia Computer Science Department
Lines: 14


     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