Transplanting of Environments between Closures in the lambda calculus
Abstract
References
Index Terms
- Transplanting of Environments between Closures in the lambda calculus
Recommendations
Untyped lambda calculus with functionally referable environments
ICSCA '21: Proceedings of the 2021 10th International Conference on Software and Computer ApplicationsThe environment is the relationship between variables and their bound values during program execution and is a notion in program semantics. A first-class environment is a mechanism that allows the environment to be treated like data, such as integer ...
Extracting Environments from Function Closures
ICSCA '22: Proceedings of the 2022 11th International Conference on Software and Computer ApplicationsIn this paper, we study the mechanism for extracting the environment from a function closure in the framework of the lambda calculus. We propose the lambda calculus with environment extraction, which extends environment calculus. We define the untyped ...
Linear lambda calculus with non-linear first-class continuations
ICSCA '17: Proceedings of the 6th International Conference on Software and Computer ApplicationsThe Curry-Howard isomorphism is the correspondence between propositions and types, proofs and lambda-terms, and proof normalization and evaluation. In Curry-Howard isomorphism, we find a duality between values and continuations in pure functional ...
Comments
Information & Contributors
Information
Published In
![cover image ACM Other conferences](/cms/asset/ed684c75-25e3-4f11-b76e-5d6b8910db88/3587828.cover.jpg)
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Check for updates
Author Tags
Qualifiers
- Research-article
- Research
- Refereed limited
Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- 0Total Citations
- 30Total Downloads
- Downloads (Last 12 months)9
- Downloads (Last 6 weeks)1
Other Metrics
Citations
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign inFull Access
View options
View or Download as a PDF file.
PDFeReader
View online with eReader.
eReaderHTML Format
View this article in HTML Format.
HTML Format