Asynchronous Reactive Programming with Modal Types in Haskell. - Patrick Bahr; Emil Houlborg; Gregers Thomas Skat Rørdam (PADL, 2024)