[plt-scheme] Applicative-order Y Combinator

From: John Clements (clements at brinckerhoff.org)
Date: Sat May 23 16:46:04 EDT 2009

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":


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.

-------------- 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>

Posted on the users mailing list.