Følg
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
Verifisert e-postadresse på ciencias.unam.mx - Startside
Tittel
Sitert av
Sitert av
År
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
Systemet kan ikke utføre handlingen. Prøv på nytt senere.