Extensional Polymorphism: Theory and Application. Thesis draft. 2002.
(2002)
Languages mentioned
GCaml
{1995} OCaml with polymorphic extensions