Pages that link to "Item:Q5261504"
From MaRDI portal
The following pages link to Static contract checking for Haskell (Q5261504):
Displaying 9 items.
- The interaction of contracts and laziness (Q526445) (← links)
- Space-efficient gradual typing (Q656856) (← links)
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673) (← links)
- Second-Order Programs with Preconditions (Q3058455) (← links)
- Transformations for Compositional Verification of Assumption-Commitment Properties (Q3447708) (← links)
- Parametricity for Haskell with Imprecise Error Semantics (Q3637203) (← links)
- An extended account of contract monitoring strategies as patterns of communication (Q4577815) (← links)
- Gradual type theory (Q5019016) (← links)
- Higher order symbolic execution for contract verification and refutation (Q5371996) (← links)