Résultats 1 à 7

Dates de soutenance :


Etablissements :

Valider et fermer
  • Université Paris-Saclay (ComUE) (2)
  • Ecole nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (1)
  • Paris 6 (1)
  • Paris 7 (1)
  • Toulouse 3 (1)
  • Université Côte d'Azur (ComUE) (1)

Etablissements :

Fullscreen

Disciplines :

Valider et fermer
  • Informatique (7)

    Disciplines :

    Fullscreen

    Ecoles Doctorales :

    Valider et fermer
    • École doctorale Sciences et technologies de l'information et de la communication (Orsay, Essonne ; 2015-....) (2)
    • École doctorale Informatique, télécommunications et électronique de Paris (1)
    • École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (1)
    • École doctorale Mathématiques, informatique et télécommunications (Toulouse) (1)
    • École doctorale Sciences et technologies de l'information et de la communication (Sophia Antipolis, Alpes-Maritimes) (1)

    Ecoles Doctorales :

    Fullscreen

    Langues :

    Valider et fermer
    • français (4)
    • anglais (3)

    Langues :

    Fullscreen

    Directeurs de thèse :

    Valider et fermer
    • Mauny Michel (2)
    • Bodeveix Jean-Paul (1)
    • Chailloux Emmanuel (1)
    • Conchon Sylvain (1)
    • Filali Mamoun (1)
    • Liquori Luigi (1)
    • Tabareau Nicolas (1)
    • Weis Pierre (1)

    Directeurs de thèse :

    Fullscreen

    Domaines :

    Valider et fermer
    • Informatique (7)

      Domaines :

      Fullscreen

      7 thèses pour "Polymorphisme ad-hoc"

      Informatique

      Soutenue en 2002
      thèse soutenue

      ....Les types intersections et unions sont un moyen d’exprimer du polymorphisme ad hoc etsont une alternative au...

      Accéder en ligne

      ...polymorphisme ad hoc, ou de surcharge.Une autre technique est de déterminer la fonction appelée non pas par le...

      Accéder en ligne

      ...Coq est base´e sur les classes de types [SO08] introduisant uneforme de polymorphisme ad hoc. En outre...

      Accéder en ligne

      Résultats 1 à 7