I am sure there are better reads. But I found this one a decent back when I read it: http://www.cs.utexas.edu/~shmat/courses/cs345/whyfp.pdf http://www.cs.utexa

I am sure there are better reads. But I found this one a decent back when I read it: http://www.cs.utexas.edu/~shmat/courses/cs345/whyfp.pdf http://www.cs.utexas.edu/~shmat/courses/cs345/whyfp.pdf A lot of what that particular paper talks about is applicable to other languages that have lambda expressions in them. Some of the examples in it does rely on lazy evaluation though. Laziness is usually encodable in most languages with lambdas. But most aren't lazy by default. Keep that in mind.