Exploring the Design Space of Higher-Order Casts
From MaRDI portal
Publication:3617687
DOI10.1007/978-3-642-00590-9_2zbMath1234.68060OpenAlexW1496853143MaRDI QIDQ3617687
Walid Taha, Ronald Garcia, Jeremy G. Siek
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
Related Items
An extended account of contract monitoring strategies as patterns of communication ⋮ Space-efficient gradual typing ⋮ Blame and coercion: Together again for the first time ⋮ Gradual type theory ⋮ Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi