[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Calculuses (sp?) for Scheme, and R*RS (again)



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