Gradual typing using union typing with records

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

zbMATH Keywords

recordsgradual typingunion types

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27)

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