ACM SIGPLAN - [PADL'24] Asynchronous Reactive Programming with Modal Types in Haskell
Sign in to continue reading, translating and more.