A Concurrent Lambda Calculus with Futures

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.

To all the fans of Mozart and especially Stockhausen :-)

## Recent comments

7 hours 58 min ago

1 day 8 hours ago

1 day 9 hours ago

1 day 10 hours ago

2 days 15 hours ago

2 days 16 hours ago

3 days 10 hours ago

3 days 12 hours ago

3 days 12 hours ago

4 days 4 hours ago