Karla Ramírez-Puilido
Original record- Institution
- Universidad Nacional Autónoma de México (UNAM)
- Year
- 2022
- Country
- Mexico
- MGP identifier
- 283356
Dissertation: Extensión de un Sistema de Tipos Gradual para Registros usando Tipos Unión
Mathematics Subject Classification: 68—Computer science
Advisor 1
- Jorge Luis Ortega ArjonaUniversity College London · 2007
Students 0
No students recorded in this snapshot.