Investigador Éric Tanter publica investigación en Journal of the ACM
“The Marriage of Univalence and Parametricity”, se titula el artículo del investigador del Instituto Milenio Fundamentos de los Datos y profesor del Departamento de Ciencias de la Computación (DCC) Éric Tanter, junto a los investigadores de Inria Nicolas Tabareau y Matthieu Sozeau, el cual fue publicado en la Journal of the ACM (JACM), que es…