A reflection on call-by-value

DOI10.1145/232627.232631MaRDI QIDQ2817680zbMATH OpenOpenAlexFDO

Authors Amr Sabry, Philip Wadler

Publication date 1 September 2016

Published in Proceedings of the first ACM SIGPLAN international conference on Functional programming - ICFP '96 (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/232627.232631

Mathematics Subject Classification ID

Theory of compilers and interpreters (68N20) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Functional programming and lambda calculus (68N18)

Recommendations

• On the call-by-value CPS transform and its semantics
• CPS-translation as adjoint
• Call-by-push-value: Decomposing call-by-value and call-by-name
• On one-pass CPS transformations
• scientific article; zbMATH DE number 2087425

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)