Pages that link to "Item:Q3617687"
From MaRDI portal
The following pages link to Exploring the Design Space of Higher-Order Casts (Q3617687):
Displayed 5 items.
- Space-efficient gradual typing (Q656856) (← links)
- An extended account of contract monitoring strategies as patterns of communication (Q4577815) (← links)
- Blame and coercion: Together again for the first time (Q5019015) (← links)
- Gradual type theory (Q5019016) (← links)
- Parameterized cast calculi and reusable meta-theory for gradually typed lambda calculi (Q5020907) (← links)