Conferencia ICFP selecciona tres artículos de profesor del DCC Éric Tanter
Los trabajos sobre sistemas de tipos, teoría de tipos y verificación de programas serán presentados en la próxima edición de la Conferencia Internacional sobre Programación Funcional, ICFP.
Ver Artículo: https://www.dcc.uchile.cl/prestigiosa-conferencia-icfp-selecciona-tres-articulos-profesor-DCC-eric-tanter
Fte: DCC. FCFM, viernes 26 de julio 2019/FQE
Categorias: Facultad de Ciencias Físicas y Matemáticas