Separation with Streams in the lambdaµ-calculus.

Published in: LICS (2005)

Keyphrases

lambda calculus
programming language
predicate calculus
data streams
database query languages
higher order
streaming data
program understanding
sliding window
database
query language
open source
complex objects