Consistent subtyping for all

DOI10.1007/978-3-319-89884-1_1MaRDI QIDQ2323964zbMATH OpenOpenAlexFDO

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

Publication date 13 September 2019

Copyright license Creative Commons Attribution 4.0 International

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

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

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

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

Describes a project that uses

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)