The following pages link to Contracts made manifest (Q5255093):
Displaying 9 items.
- The interaction of contracts and laziness (Q526445) (← links)
- Space-efficient gradual typing (Q656856) (← 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)
