Seguir
Karla Ramirez Pulido --- ORCID: 0000-0003-2953-9467
Karla Ramirez Pulido --- ORCID: 0000-0003-2953-9467
Universidad Nacional Autónoma de México https://www.grid.ac/institutes/grid.9486.3
Dirección de correo verificada de ciencias.unam.mx - Página principal
Título
Citado por
Citado por
Año
Gradual typing using union typing with records
KR Pulido, JL Ortega-Arjona, LCG Huesca
Electronic Notes in Theoretical Computer Science 354, 171-186, 2020
32020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.