Looks very much like Philip Wadler's Links: http://homepages.inf.ed.ac.uk/wadler/topics/links.html http://homepages.inf.ed.ac.uk/wadler/topics/links.html Also,

Looks very much like Philip Wadler's Links: http://homepages.inf.ed.ac.uk/wadler/topics/links.html http://homepages.inf.ed.ac.uk/wadler/topics/links.html Also, looks like it's done by people active on the OCaml mailing list. They are smart guys. Worth checking out.