rml

ReactiveML: a programming language for implementing interactive systems