Skip to Main content Skip to Navigation

Approche algébrique du typage d'un langage à la ML avec objets, sous-typage et multi-méthodes

Alexandre Frey 
Abstract : Object-oriented langages enjoy a particular form of polymorphism by providing "methods" whose execution depends on the dynamic type of its arguments. Generally, this "dynamic dispatch" only takes into account a single argument. However, some langages feature a simultaneous dispatch on every arguments ("multi-methods").
This thesis is about the definition and the typing of a langage derived from ML with multimethods. Multi-methods are introduced as a particular form of pattern matching on objects.The presentation
of the type system uses an algebraic approach. The set of types is not predetermined but the properties necessary for the soundness of the system are axiomatised. This approach allows generic proofs independent of the choice of the algebra. It is shown how automatic type verification can be reduced to the resolution of simple first-order problems (constraints). The resolution of the constraint problems can then reuse all the results available in the litterature. The advantage of this algebraic approach is that it can handle a large class of langages at once, where the type algebra, the constraint langage, and the interpretation model of these constraints vary. This approach also provides an interesting way to study typing in a context where the interpretation world is open, i.e., when typing a module should provide a guarantee for all possible use of this module.
Document type :
Complete list of metadata

Cited literature [31 references]  Display  Hide  Download
Contributor : Admin PASTEL Connect in order to contact the contributor
Submitted on : Tuesday, November 30, 2004 - 4:35:35 PM
Last modification on : Wednesday, June 1, 2016 - 11:14:41 PM
Long-term archiving on: : Friday, April 2, 2010 - 9:21:13 PM


  • HAL Id : tel-00007516, version 1



Alexandre Frey. Approche algébrique du typage d'un langage à la ML avec objets, sous-typage et multi-méthodes. Génie logiciel [cs.SE]. École Nationale Supérieure des Mines de Paris, 2004. Français. ⟨tel-00007516⟩



Record views


Files downloads