Pages that link to "Item:Q5267422"
From MaRDI portal
The following pages link to The marriage of effects and monads (Q5267422):
Displayed 5 items.
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673) (← links)
- Constructive Membership Predicates as Index Types (Q2866329) (← links)
- A System F with Call-by-Name Exceptions (Q3519511) (← links)
- Coherence of subsumption for monadic types (Q3616445) (← links)
- Parameterised notions of computation (Q3638920) (← links)