The semantics of Scheme with future

DOI10.1145/232627.232644zbMATH Open1345.68066OpenAlexW2008447317MaRDI QIDQ2817693FDOQ2817693

Authors: Luc Moreau 

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.232644

Recommendations

• The semantics of future and an application
• A Complete Guide to the Future
• Linear future semantics and its implementation
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Structured Operational Semantics of a fragment of the language Scheme

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55)

Cited In (9)

• Semantics of concurrent revisions
• Dependence analysis for safe futures
• An operational semantics for Scheme
• Behavioral interface description of an object-oriented language with futures and promises
• A concurrent lambda calculus with futures
• Towards a \(\mathbb{K}\)ool future
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Linear future semantics and its implementation
• Continuation-based transformations for coordination languages

This page was built for publication: The semantics of Scheme with future

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2817693)