![](https://ls2n.fr/wp-content/uploads/sites/13/2018/09/prix-279x300.png)
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.