Exploring the Design Space of Higher-Order Casts

DOI10.1007/978-3-642-00590-9_2MaRDI QIDQ3617687zbMATH OpenOpenAlexFDO

Authors Jeremy G. Siek, Ronald Garcia, Walid Taha

Publication date 31 March 2009

Published in Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-00590-9_2

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18)

Recommendations

• Gradual type theory
• Well-Typed Programs Can’t Be Blamed
• Space-efficient gradual typing
• Calculating threesomes, with blame
• Call-by-name gradual type theory

Cited in

(11)

• A delta for hybrid type checking
• An extended account of contract monitoring strategies as patterns of communication
• Blame and coercion: Together again for the first time
• Gradual type theory
• Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi
• Calculating threesomes, with blame
• Threesomes, with and without blame
• Pragmatic gradual polymorphism with references
• Static blame for gradual typing
• Space-efficient gradual typing
• Type-directed operational semantics for gradual typing

This page was built for publication: Exploring the Design Space of Higher-Order Casts

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