The following pages link to Contracts made manifest (Q5255093):
Displaying 12 items.
- The interaction of contracts and laziness (Q526445) (← links)
- Space-efficient gradual typing (Q656856) (← links)
- Crisis contracts (Q1996121) (← links)
- Polymorphic Contracts (Q3000571) (← links)
- A Delta for Hybrid Type Checking (Q3188298) (← links)
- A Principled Approach to Tracking Information Flow in the Presence of Libraries (Q3304806) (← 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)
- Higher order symbolic execution for contract verification and refutation (Q5371996) (← links)
- Whither Formal Contracts? (Q6100257) (← links)
- Manifest contracts with intersection types (Q6536305) (← links)