equality

equality

[Pierre Weis]

[English version]

Some time ago, I announced a research report about equality in this mailing
list. It is now available via the Cristal WWW server
(http://pauillac.inria.fr/), as an article accepted to POPL'95 and
entitled ``Extensional polymorphism'' by Catherine Dubois, Franc,ois
Rouaix, and Pierre Weis.

A new kind of polymorphism for ML is described, which allows a clean
treatment of equality, polymorphic printing and other ad hoc
polymorphic primitives. Extensional polymorphism is upward compatible
with usual ML type system and semantics. Extensional polymorphism can
be extended to support overloading and user defined ad hoc functions
(that may be polymorphic).


[Version franc,aise]

J'avais annonce' dans cette tribune un rapport de recherche au sujet
de l'e'galite'. Ce rapport est devenu un article qui a e'te' accepte'
a` la confe'rence POPL'95. Cet article est intitule' ``Extensional
polymorphism'' par Catherine Dubois, Franc,ois Rouaix et Pierre Weis.
Il est disponible sur le serveur du projet Cristal (http://pauillac.inria.fr/).

On y traite d'une nouvelle forme de polymorphisme qui permet de
traiter l'e'galite', l'impression polymorphe et autres primitives
polymorphes ad hoc. Le polymorphisme extensionel est une extension
du syste`me de types de ML, qui est compatible avec la se'mantique
habituelle de ML. Une extension du polymorphisme extensionel permet de
rendre compte de la surcharge et autorise la de'finition de fonctions
ad hoc, e'ventuellement polymorphes.

Pierre Weis