Jun Furuse. "Generic polymorphism in ML". Journées Francophones des Langages Applicatifs 2001
(2001)
Languages mentioned
GCaml
{1995} OCaml with polymorphic extensions