Related
Simply Scheme: Introducing Computer Science
cs.berkeley.edu · · Page
Lambda Associates
lambdassociates.org · · Page
Functional Programming in the Real World
homepages.inf.ed.ac.uk · · Page
Here is a list of functional programs applied to real-world tasks. The main criterion for being real-world is that the…
Structure and Interpretation of computer programs
mitpress.mit.edu · · Page
Certified Programming with Dependent Types
adam.chlipala.net · · Page
Certified Programming with Dependent Types latest update September 26, 2013
Learn You a Haskell for Great Good!
learnyouahaskell.com · · Page
Teh new awesomeness in programming language books crowd.