Imperative Streams - A Monadic Combinator Library for Synchronous Programming.

Published in: ICFP (1998)

Keyphrases

asynchronous communication
programming language
multi stream
data streams
transactional data
datalog queries
streaming data
programming environment
real time
expressive power
deductive databases
transitive closure
hidden markov models
development environment