GCaml(ID:5207/gca001)

OCaml with polymorphic extensions 

O'Caml with Extensional Polymorphism Extension
Related languages
OCAML => GCaml   Extension of
References:
  • Dubois, Catherine; Rouaix, François and Pierre Weis. "Extensional Polymorphism". view details
          in [ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995. view details
  • Jun Furuse, Pierre Weis. "Entrée/Sorties de valeurs en Caml". Journées Francophones des Langages Applicatifs 2000 view details
          in [ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995. view details
  • Jun Furuse. "Generic polymorphism in ML". Journées Francophones des Langages Applicatifs 2001 view details
          in [ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995. view details
  • Extensional Polymorphism: Theory and Application. Thesis draft. 2002. view details
          in [ACM SIGACT-SIGPLAN] Proc. of the 22nd Annual ACM Symposium on Principles of Programming Languages, San Francisco, January 1995. view details
    Resources