functional reactive programming from first principles .
Concurrent Haskell