A concurrent lambda calculus with futures.

Joachim Niehren Jan Schwinghammer Gert Smolka

Published in: Theor. Comput. Sci. (2006)

Keyphrases

lambda calculus
programming language
predicate calculus
database query languages
program understanding
complex objects
databases
expert systems
case study
data structure
expressive power
fault localization