Call-by-Value Is Dual to Call-by-Name, Extended
No abstract available.
Related papers
- Call-by-value is dual to call-by-name ICFP 2003
- The duality of computation ICFP 2000
- Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order ESOP 2019
- Classical (co)recursion: Mechanics JFP 2023
- Thunks and the lambda-Calculus JFP 1997
- Call-by-Name and Call-by-Value in Normal Modal Logic APLAS 2007
- The fire triangle: how to mix substitution, dependent elimination, and effects POPL 2020
- Call-by-value and call-by-name: A simple proof of a classic theorem JFP 2025