ACM distinguished paper award pour Nicolas Tabareau à ICFP 2018
Nicolas Tabareau (équipe Gallinette) a reçu l’ACM distinguished paper award à la conférence ICFP (International Conference on Functional Programming) qui a eu lieu à Saint-Louis (USA) du 23 au 29 septembre 2018.
Ce prix récompense la publication intitulée « Equivalences for Free: Univalent Parametricity for Effective Transport », rédigé avec Mathieu Sozeau, chercheur au sein de l’équipe parisienne PI.R2, et Éric Tanter de l’University of Chile.
