@inproceedings{1724cb60d8554aa580a0c66076c25140,
title = "Asynchronous Modal FRP",
keywords = "Functional Reactive Programming, Modal Types, Linear Temporal Logic, Synchronous Data Flow Languages, Type Systems, Functional Reactive Programming, Modal Types, Linear Temporal Logic, Synchronous Data Flow Languages, Type Systems",
author = "Patrick Bahr and M{\o}gelberg, {Rasmus Ejlers}",
year = "2023",
month = aug,
day = "31",
doi = "10.1145/3607847",
language = "English",
volume = "7",
pages = "476--510",
journal = "Proceedings of the ACM on Programming Languages",
issn = "2475-1421",
publisher = "Association for Computing Machinery",
number = "ICFP",
}