Representing and computing with types in dynamically typed languages

par Jim Newton

Thèse de doctorat en Informatique

Sous la direction de Thierry Geraud.

  • Titre traduit

    Représentation et calcul avec des types dans des langages à typage dynamique


  • Résumé

    Cette thèse présente des techniques de génération de code liées à lavérification dynamique de types de séquences hétérogènes aisrégulières. Nous génér


  • Résumé

    Abcd