Asynchronous Reactive Programming with Modal Types in Haskell.

Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rrdam

Browse the full PADL paper archive.