[PADL'24] Asynchronous Reactive Programming with Modal Types in Haskell | ACM SIGPLAN | Podwise