[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