Similar Items: Call-by-Value and Call-by-Name Dual Calculi with Inductive and Coinductive Types
- Galois connecting call-by-value and call-by-name
- Call-by-value, call-by-name and the vectorial behaviour of the algebraic lambda-calculus
- Call-by-name Gradual Type Theory
- Complete Call-by-Value Calculi of Control Operators II: Strong Termination
- A Type System For Call-By-Name Exceptions
- Totality for Mixed Inductive and Coinductive Types