Similar Items: Representing Guardedness in Call-by-Value and Guarded Parametrized Monads
- Galois connecting call-by-value and call-by-name
- Corecursive Algebras, Corecursive Monads and Bloom Monads
- Probabilistic call by push value
- Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
- Monads need not be endofunctors