The semantics of Scheme with future

DOI10.1145/232627.232644zbMath1345.68066OpenAlexW2008447317MaRDI QIDQ2817693

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)

Related Items

Behavioral interface description of an object-oriented language with futures and promises, A concurrent lambda calculus with futures, Semantics of Concurrent Revisions, Continuation-based transformations for coordination languages