OCaml Programming: Correct and Efficient and Beautiful(cs3110.github.io)106 points by smartmic 1 year ago | 34 comments
Evaluation order and nontermination in query languages(rntz.net)36 points by luu 3 months ago | 4 comments
A Functional Introduction To Computer Science(cs.uwaterloo.ca)144 points by debanjan16 3 years ago | 26 comments