[Haskell-cafe] OT: Literature on translation of lambda calculus to combinators

Matthias Görgens matthias.goergens at googlemail.com
Mon Feb 1 08:48:16 EST 2010


Dear Dušan,

You can also find an algorithm in everyone's favourite book in
combinatorial logic "To Mock a Mockingbird"
(http://en.wikipedia.org/wiki/To_Mock_a_Mockingbird).

Cheers,
Matthias.


More information about the Haskell-Cafe mailing list