Path: utzoo!attcan!utgpu!jarvis.csri.toronto.edu!rutgers!mailrus!cornell!batcomputer!lacey
From: lacey@batcomputer.tn.cornell.edu (John Lacey)
Newsgroups: comp.lang.scheme
Subject: Calculuses (sp?) for Scheme, and R*RS (again)
Keywords: Scheme calculus standard
Message-ID: <8313@batcomputer.tn.cornell.edu>
Date: 3 Jul 89 17:21:18 GMT
Reply-To: lacey@tcgould.tn.cornell.edu (John Lacey)
Organization: Cornell Theory Center, Cornell University, Ithaca NY
Lines: 18

Does anyone have references to calculus bases for Scheme (such as
the lambda calculus, and the one by Matthias Felleisen)?  That is,
references that deal with these directly in terms of Scheme (of
course those for the latter will, as it was designed for Scheme).

Also, I am *still* looking for the text of the Revised * Report on 
Scheme.  Where can I find it?  Is there an E-mailable copy someplace?

Sorry about posting these types of questions, but the libraries here
are staffed with completely inadequate electronic searching systems,
and summer help. 


-- 
John Lacey           |  Internet:  lacey@tcgould.tn.cornell.edu
running unattached   |  BITnet:    lacey@crnlthry
                     |  UUCP:      cornell!batcomputer!lacey
"Whereof one cannot speak, thereof one must remain silent."  ---Wittgenstein