Sites Inria

Il y a 2 Résultats avec le mot clé : "Parametricity"

© INRIA Sophie Auvin - G comme Grille

Séminaire des équipes de recherche

Séminaire Gallium

8/10/2018

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 )

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Gallium

lire la suite

Séminaire Prosecco

Séminaire Prosecco

19/12/2018

Lieu : Salle Flajolet

Intervenant(s) : Nicolas Tabareau

Mots-clés :

Accueil > Centre > Paris > Agenda > Séminaire Prosecco

lire la suite

Haut de page

Suivez Inria