Asynchronous Reactive Programming with Modal Types in Haskell

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]

Authors

Patrick Bahr

This author has not been identified. Look up 'Patrick Bahr' in Google

Emil Houlborg

This author has not been identified. Look up 'Emil Houlborg' in Google

Gregers Thomas Skat Rørdam

This author has not been identified. Look up 'Gregers Thomas Skat Rørdam' in Google