A concurrent lambda calculus with futures
type: Item
instance of: scholarly article
title: A concurrent lambda calculus with futures
zbMATH Open document ID: 1110.68023
author: Joachim Niehren
author: Jan Schwinghammer
author: Gert Smolka
published in: Theoretical Computer Science
publication date: 2007-01-09T00:00:00Z
full work available at URL: 0.pdf
Mathematics Subject Classification ID: 68N18
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 5083502
zbMATH Keywords: functional programming languages
zbMATH Keywords: semantics
zbMATH Keywords: concurrency
Wikidata QID: Q59759156
describes a project that uses: JoCaml
describes a project that uses: Oz
describes a project that uses: Pict
describes a project that uses: Multilisp
MaRDI profile type: Publication
OpenAlex ID: W1980339691
cites work: The call-by-need lambda calculus
cites work: Lambda calculus with explicit recursion
cites work: Q4222780
cites work: Q4671826
cites work: The semantics of future and an application
cites work: Implicit typing à la ML for the join-calculus
cites work: MULTILISP: a language for concurrent symbolic computation
cites work: The Mechanical Evaluation of Expressions
cites work: The semantics of Scheme with future
cites work: Uniform confluence in concurrent computation
cites work: Frontiers of Combining Systems
cites work: Q4513619
cites work: Concurrent Programming in ML
cites work: Computer science today. Recent trends and developments
DBLP publication ID: journals/tcs/NiehrenSS06
DOI: 10.1016/J.TCS.2006.08.016
description: scientific article; zbMATH DE number 5083502