[Haskell-cafe] OT: Literature on translation of lambda calculus
batterseapower at hotmail.com
Thu Jan 28 05:02:15 EST 2010
See, for example, slide 119 and onwards in the slides at
The slides covers SKI and BCSKI.
2010/1/28 Dušan Kolář <kolar at fit.vutbr.cz>:
> Dear cafe,
> Could anyone provide a link to some paper/book (electronic version of both
> preferred, even if not free) that describes an algorithm of translation of
> untyped lambda calculus expression to a set of combinators? Preferably SKI
> or BCKW. I'm either feeding google with wrong question or there is no link
> available now...
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe