Computer Science Stack Exchange is a question and answer site for students, researchers and practitioners of computer science. It only takes a minute to sign up.
Sign up to join this community
I am looking for book references on combinatory logic. Is there a book focused on how combinatory logic is applied in the context of pure functional languages like Haskell?
I found "Combinators: A Centennial View" by Stephen Wolfram (2021), but it has too much advertising in it. Every second page Wolfram tries to sell the reader his programming language. Is there any well-written book with less advertisement?
This isn't a complete answer, but you could do a lot worse than to go through the relevant sections of The Implementation of Functional Programming Languages by Simon Peyton-Jones, particularly the chapter on SK combinators. The book is now free.
