Pages that link to "Item:Q5234259"
From MaRDI portal
The following pages link to The marriage of effects and monads (Q5234259):
Displaying 4 items.
- The untyped computational \(\lambda \)-calculus and its intersection type discipline (Q2210507) (← links)
- Effect Systems Revisited—Control-Flow Algebra and Semantics (Q2796214) (← links)
- Affine Monads and Side-Effect-Freeness (Q5739449) (← links)
- Smart Choices and the Selection Monad (Q6135751) (← links)