Pages that link to "Item:Q3434634"
From MaRDI portal
The following pages link to Typed Contracts for Functional Programming (Q3434634):
Displaying 7 items.
- The interaction of contracts and laziness (Q526445) (← links)
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673) (← links)
- The Essence of Functional Programming on Semantic Data (Q2988667) (← 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)
- Contracts made manifest (Q5398336) (← links)
