Programming Reactive Systems in Haskell.

Sigbjørn Finne Simon Peyton Jones

Published in: Functional Programming (1994)

Keyphrases

reactive systems
model checking
programming language
temporal logic
information flow
formal methods
petri net
control flow
real time systems
functional programming
plagiarism detection
state machines
database
real time
databases
artificial intelligence