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

*To*: polya!weening%Gang-of-Four.Stanford.EDU@LABREA.STANFORD.EDU*Subject*: Re: Limitation with lambda*From*: FWHITE@G.BBN.COM*Date*: Thu ,20 Oct 88 11:03:00 EDT*Cc*: scheme@MC.LCS.MIT.EDU*In-reply-to*: <4557@polya.Stanford.EDU>*Sender*: FWHITE@G.BBN.COM

In "A Basis for a Mathematical Theory of Computation"* by McCarthy, which dates from the 1961 Western Joint Computer Conference, McCarthy mentions that Y can be used to eliminate LABEL but at the expense of giant resulting expressions. Who did invent Y, anyways? ------------ * Reprinted in "Computer Programming and Formal Systems", P. Braffort & D. Hirschberg eds, 1967. See pp 46-7.

**References**:**Re: Limitation with lambda***From:*polya!weening%Gang-of-Four.Stanford.EDU@labrea.stanford.edu (Joe Weening)

- Prev by Date:
**Re: Limitation with lambda** - Next by Date:
**Lisp, Xlisp, Prolog and Scheme** - Previous by thread:
**Re: Limitation with lambda** - Next by thread:
**Re: Limitation with lambda** - Index(es):