Navegar

Colección

Datos Estadísticas

Lista de

21st International Conference on Types for Proofs and Programs, TYPES 2015
1
2018
1
"Ecient type checking for path polymorphism" (2018) Edi, J.;Viso, A.;Bonelli, E. (...)European Regional Development Fund 21st International Conference on Types for Proofs and Programs, TYPES 2015. 69:61-623