A gradual interpretation of union types

DOI10.1007/978-3-319-66706-5_19MaRDI QIDQ5233253zbMATH OpenOpenAlexFDO

Authors M. 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)

Recommendations

• The recursive union of some gradual types
• Abstracting gradual typing
• Gradual type theory
• Principal type schemes for gradual programs
• The Gradualizer: a methodology and algorithm for generating gradual type systems

Cited in

(6)

• Gradual typing using union typing with records
• Abstracting gradual typing
• The recursive union of some gradual types
• scientific article; zbMATH DE number 2080408 (Why is no real title available?)
• Migrating gradual types
• Static blame for gradual typing

This page was built for publication: A gradual interpretation of union types

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5233253)