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