The semantics of Scheme with future

DOI10.1145/232627.232644MaRDI QIDQ2817693zbMATH OpenOpenAlexFDO

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

Mathematics Subject Classification ID

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

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

Cited in

(10)

• Semantics of concurrent revisions
• Dependence analysis for safe futures
• Behavioral interface description of an object-oriented language with futures and promises
• A concurrent lambda calculus with futures
• An operational semantics for Scheme
• Towards a \(\mathbb{K}\)ool future
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• Linear future semantics and its implementation
• Back to futures
• 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)