Il y a 1 Résultats avec le mot clé : "Gradual"
Séminaire des équipes de recherche
Séminaire Gallium
Bringing the benefits of gradual typing to a language with parametric polymorphism like System F, while preserving relational parametricity, has proven extremely challenging: first attempts were formulated a decade ago, and several recent developments have been published in the past year.
Lieu : Inria de Paris - 2 rue Simone Iff 75012 - Bâtiment C - Salle Lions
Intervenant(s) : Eric Tanter ( University of Chile & Inria de Paris )