Segui
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
Email verificata su ciencias.unam.mx - Home page
Titolo
Citata da
Citata da
Anno
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
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.