The following pages link to Dijkstra monads for free (Q5370885):
Displaying 8 items.
- Weakest preconditions in fibrations (Q2133463) (← links)
- Combining algebraic effect descriptions using the tensor of complete lattices (Q2133480) (← links)
- Generalized arrays for Stainless frames (Q2152661) (← links)
- Dijkstra Monads in Monadic Computation (Q2942780) (← links)
- (Q5020618) (← links)
- Weakest preconditions in fibrations (Q5058365) (← links)
- Automated verification of correctness for masked arithmetic programs (Q6535686) (← links)
- Verifying programs with logic and extended proof rules: deep embedding vs. shallow embedding (Q6611968) (← links)