Patrick Bahr, Emil Houlborg, Gregers Thomas Skat Rørdam. Asynchronous Reactive Programming with Modal Types in Haskell. In Martin Gebser, Ilya Sergey, editors, Practical Aspects of Declarative Languages - 26th International Symposium, PADL 2024, London, UK, January 15-16, 2024, Proceedings. Volume 14512 of Lecture Notes in Computer Science, pages 18-36, Springer, 2024. [doi]
Abstract is missing.