See, for example, slide 119 and onwards in the slides at http://www.cl.cam.ac.uk/teaching/0809/FFuncProg/FoFP_2009_slides.pdf
The slides covers SKI and BCSKI. Cheers, Max 2010/1/28 Dušan Kolář <ko...@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... > > Thanks, > > Dušan > > _______________________________________________ > Haskell-Cafe mailing list > Haskell-Cafe@haskell.org > http://www.haskell.org/mailman/listinfo/haskell-cafe > > _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe