[plt-scheme] Applicative-order Y Combinator

[John Clements]

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://list.cs.brown.edu/pipermail/plt-scheme/attachments/20090523/90bbd5b7/smime.bin