Extension sures et praticables du systeme de types de ml en presence d'un langage de modules et de traits imperatifs

par Emmanuel Engel

Thèse de doctorat en Sciences appliquées

Sous la direction de Laurence Puel.

Soutenue en 1998

à Paris 11 .

    mots clés mots clés


  • Résumé

    Cette these propose deux extensions du systeme de types de ml qui participent a l'amelioration de l'expressivite du langage. La premiere extension consiste a introduire des types variadiques ce qui permet alors d'assouplir sensiblement le systeme de types du langage de modules qui est associe au langage ml. Les foncteurs sont les grands beneficiaires de cette extension. C'est une extension facile a mettre en place car c'est une extension conservative de l'existant. La seconde extension est l'introduction d'une technique d'effacement et de reconstruction d'annotations de types. Cette technique montre qu'il est possible d'utiliser des systemes de types evolues et expressifs pour typer les expressions du langage ml tout en restant utilisable en pratique. En effet, l'experience du typage des traits imperatifs du langage montre qu'etendre la grammaire des types du langage n'est pas raisonnable car les annotations utilisees, si simples soient-elles, genent considerablement le programmeur. Cette technique est appliquee a plusieurs extensions du systeme de types de ml. Ces extensions ont toutes pour but un typage polymorphe des traits imperatifs du langage. Le resultat est probant car nous obtenons une extension conservative du systeme de types de ml qui permet un typage polymorphe des fonctions qui utilisent des traits imperatifs.

  • Titre traduit

    Safes and practicals extensions of the ml type in presence of imperatives features and of a module language


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 180 P.
  • Annexes : 119 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Disponible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-013721
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.