id: 1533553e-eee9-494d-ba4b-4b748da9c935
url: http://web.yl.is.s.u-tokyo.ac.jp/~furuse/gcaml/
name: "GCaml: ML with Extensional Polymorphism"