A Gradual Interpretation of Union Types

DOI10.1007/978-3-319-66706-5_19zbMath1420.68029OpenAlexW2745835299MaRDI QIDQ5233253

Matías Toro, Éric Tanter

Publication date: 16 September 2019

Published in: Static Analysis (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-319-66706-5_19

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items (2)

Gradual typing using union typing with records ⋮ Migrating gradual types

This page was built for publication: A Gradual Interpretation of Union Types