Pages that link to "Item:Q2819803"
From MaRDI portal
The following pages link to Space-Efficient Manifest Contracts (Q2819803):
Displaying 5 items.
- An extended account of contract monitoring strategies as patterns of communication (Q4577815) (← links)
- How to evaluate the performance of gradual type systems (Q4972071) (← links)
- Blame and coercion: Together again for the first time (Q5019015) (← links)
- Gradual type theory (Q5019016) (← links)
- Manifest contracts with intersection types (Q6536305) (← links)
