[plt-scheme] Applicative-order Y Combinator

On May 23, 2009, at 11:20 AM, Shriram Krishnamurthi wrote:

> You might read Matthias's "The Why of Y", and the chapter on the
> lambda calculus in PLAI.

I also highly recommend the forthcoming "Semantics Engineering with  
PLT Redex":

http://mitpress.mit.edu/catalog/item/default.asp?ttype=2&tid=11885

Its motivation for Y is one of the tidiest and most legible I've seen.  
Nicer (imho) than "The Why of Y".

Tangentially related: the "Why of Y" that I've seen is from Richard  
Gabriel; perhaps you're referring to the development of Y in the  
little/seasoned schemer? Or perhaps I'm confused.


John
-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/pkcs7-signature
Size: 2484 bytes
Desc: not available
URL: <http://lists.racket-lang.org/users/archive/attachments/20090523/90bbd5b7/attachment.p7s>