Home » Actualités » ACM distinguished paper award pour Nicolas Tabareau à ICFP 2018


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.

Voir l’article.

Copyright : LS2N 2017 - Mentions Légales - 
 -