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

Dušan Kolář kolar at fit.vutbr.cz
Thu Jan 28 04:54:35 EST 2010

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...



More information about the Haskell-Cafe mailing list