Asynchronous Reactive Programming with Modal Types in Haskell.

Patrick Bahr Emil Houlborg Gregers Thomas Skat Rørdam

Published in: PADL (2024)

Keyphrases

programming language
asynchronous communication
real time
reactive systems
information retrieval
clustering method
data sets
artificial intelligence
database systems
expert systems
programming environment
functional language
reactive planning