A reflection on call-by-value
From MaRDI portal
Publication:2817680
Recommendations
Cited in
(16)- scientific article; zbMATH DE number 2219520 (Why is no real title available?)
- A Functional Abstraction of Typed Invocation Contexts
- Relating Functional and Imperative Session Types
- An Operational Account of Call-by-Value Minimal and Classical λ-Calculus in “Natural Deduction” Form
- On reduction and normalization in the computational core
- Galois connecting call-by-value and call-by-name
- Monadic Translation of Intuitionistic Sequent Calculus
- Kan extensions for program optimisation Or: Art and Dan explain an old trick
- A Fresh Look at the λ-Calculus
- Open call-by-value
- How to prove decidability of equational theories with second-order computation analyser SOL
- Call-by-value is dual to call-by-name
- ANF preserves dependent types up to extensional equality
- Trace-relating compiler correctness and secure compilation
- From call-by-value to interaction by typed closure conversion
- Implementing open call-by-value
This page was built for publication: A reflection on call-by-value
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2817680)