Gradual typing using union typing with records
From MaRDI portal
Publication:2133461
DOI10.1016/J.ENTCS.2020.10.013OpenAlexW3082695680WikidataQ113317253 ScholiaQ113317253MaRDI QIDQ2133461
Lourdes del Carmen González Huesca, Jorge L. Ortega-Arjona, Karla Ramírez Pulido
Publication date: 29 April 2022
Full work available at URL: https://doi.org/10.1016/j.entcs.2020.10.013
Cites Work
- Unnamed Item
- Unnamed Item
- Space-efficient gradual typing
- Safe & Efficient Gradual Typing for TypeScript
- Abstracting gradual typing
- The gradualizer: a methodology and algorithm for generating gradual type systems
- Set-theoretic types for polymorphic variants
- The Recursive Union of Some Gradual Types
- Grammar Analysis and Parsing by Abstract Interpretation
- A Gradual Interpretation of Union Types
- Threesomes, with and without blame
- Gradual refinement types
- Sums of uncertainty: refinements go gradual
This page was built for publication: Gradual typing using union typing with records