Rhine: FRP with type-level clocks.

Manuel Brenz, Ivan Perez

Browse the full HASKELL paper archive.