Pages that link to "Item:Q5267422"
From MaRDI portal
The following pages link to The marriage of effects and monads (Q5267422):
Displaying 13 items.
- Eager and delayed contract monitoring for call-by-value and call-by-name evaluation (Q710673) (← links)
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- Constructive Membership Predicates as Index Types (Q2866329) (← links)
- Counting Successes: Effects and Transformations for Non-deterministic Programs (Q3188280) (← links)
- 1ML with Special Effects (Q3188295) (← 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)
- (Q5020617) (← links)
- (Q5020618) (← links)
- No value restriction is needed for algebraic effects and handlers (Q5372003) (← links)
- On reduction and normalization in the computational core (Q5879269) (← links)
- From semantics to types: the case of the imperative \(\lambda\)-calculus (Q6093581) (← links)
