# Publication details

##
A Concurrent Lambda Calculus with Futures

Joachim Niehren, Jan Schwinghammer, Gert Smolka

5th International Workshop on Frontiers in Combining Systems, Vol. 3717 of Lecture Notes in Computer Science, pp. 248--263, Springer, May 2005

We introduce a new concurrent lambda calculus with futures,
lambda(fut), to model the operational semantics of Alice, a
concurrent extension of ML. lambda(fut) is a minimalist
extension of the call-by-value lambda-calculus that yields
the full expressiveness to define, combine, and implement
a variety of standard concurrency constructs such as channels,
semaphores, and ports. We present a linear type system for
lambda(fut) by which the safety of such definitions
and their combinations can be proved:
Well-typed implementations cannot be corrupted in any well-typed context.

Superseded by TCS journal version.

Download PDF
Show BibTeX

@INPROCEEDINGS{lambda-fut,
title = {A Concurrent Lambda Calculus with Futures},
author = {Joachim Niehren and Jan Schwinghammer and Gert Smolka},
year = {2005},
month = {May},
editor = {{Bernhard Gramlich}},
publisher = {{Springer}},
booktitle = {5th International Workshop on Frontiers in Combining Systems},
series = {{Lecture Notes in Computer Science}},
volume = {{3717}},
pages = {{248--263}},
}

Login to edit

Webmaster,
Wed Sep 16 10:47:00 2009