A concurrent lambda calculus with futures

DOI10.1016/J.TCS.2006.08.016MaRDI QIDQ860851zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Joachim Niehren, Jan Schwinghammer, Gert Smolka

Publication date 9 January 2007

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/inria-00090434/file/0.pdf

zbMATH Keywords

concurrencyfunctional programming languagessemantics

Mathematics Subject Classification ID

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

Recommendations

• Frontiers of Combining Systems
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• scientific article; zbMATH DE number 1479607
• Conservative concurrency in Haskell
• CONCUR 2005 – Concurrency Theory

Cites work

• Computer science today. Recent trends and developments
• Concurrent Programming in ML
• Frontiers of Combining Systems
• scientific article; zbMATH DE number 1231477 (Why is no real title available?)
• scientific article; zbMATH DE number 1531624 (Why is no real title available?)
• scientific article; zbMATH DE number 2161893 (Why is no real title available?)
• Implicit typing à la ML for the join-calculus
• Lambda calculus with explicit recursion
• MULTILISP: a language for concurrent symbolic computation
• The call-by-need lambda calculus
• The call-by-need lambda calculus
• The Mechanical Evaluation of Expressions
• The semantics of future and an application
• The semantics of Scheme with future
• Uniform confluence in concurrent computation

Cited in

(17)

• Asynchronous sequential processes
• Observational program calculi and the correctness of translations
• Conservative concurrency in Haskell
• Classical call-by-need and duality
• ASP\(_{\text{fun}}\) : a typed functional active object calculus
• Uniform confluence in concurrent computation
• Back to futures
• Concurrent objects à la carte
• Observational semantics for a concurrent lambda calculus with reference cells and futures
• A Mechanized Model of the Theory of Objects
• Frontiers of Combining Systems
• Minimal translations from synchronous communication to synchronizing locks
• Optimizing a non-deterministic abstract machine with environments
• A calculus of coroutines
• Behavioral interface description of an object-oriented language with futures and promises
• Backwards type analysis of asynchronous method calls
• On generic context lemmas for higher-order calculi with sharing

Describes a project that uses

Uses Software

• JoCaml
• Oz
• Pict
• Multilisp

This page was built for publication: A concurrent lambda calculus with futures

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