Formal Verifications of Call-by-Need and Call-by-Name Evaluations with Mutual Recursion
No abstract available.
Related papers
- Scope States: Guarding Safety of Name Resolution in Parallel Type Checkers ECOOP 2021
- Improvement in a Lazy Context: An Operational Theory for Call-by-Need POPL 1999
- Small-step and big-step semantics for call-by-need JFP 2009
- The Call-By-Need lambda Calculus JFP 1997
- Extended Call-by-Push-Value: Reasoning About Effectful Programs and Evaluation Order ESOP 2019
- Verified Interpreters for Dynamic Languages with Applications to the Nix Expression Language ICFP 2025
- The Vanilla Sequent Calculus is Call-by-Value ESOP 2025
- Types by Need ESOP 2019