IMFD Researcher’s Paper Awarded at Prestigious International Conference
“Equivalences for Free: Univalent Parametricity for Effective Transport” is the title of the work by Éric Tanter, faculty member of the Department of Computer Science at Universidad de Chile and associate researcher at the Millennium Institute for Foundational Research on Data (IMFD), which -carried out together with researchers Nicolas Tabareau and Matthieu Sozeau, from the…
