Consistent subtyping for all

DOI10.1007/978-3-319-89884-1_1zbMATH Open1418.68039OpenAlexW2799110842MaRDI QIDQ2323964FDOQ2323964

Authors: Ningning Xie, Xuan Bi, Bruno C. d. S. Oliveira 

Publication date: 13 September 2019

Full work available at URL: https://doi.org/10.1007/978-3-319-89884-1_1

Recommendations

• Principal type schemes for gradual programs
• Abstracting gradual typing
• Gradual type theory
• Coercive subtyping: theory and implementation
• Gradual Typing for Annotated Type Systems

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Cited In (3)

• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• Pragmatic gradual polymorphism with references
• A type system for implicit scaling

Uses Software

• Coq

This page was built for publication: Consistent subtyping for all

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