Asynchronous Modal FRP

Patrick Bahr; Rasmus Ejlers Møgelberg

doi:10.1145/3607847

Asynchronous Modal FRP

Research output: Journal Article or Conference Article in Journal › Conference article › Research › peer-review

Original language	English
Article number	205
Journal	Proceedings of the ACM on Programming Languages
Volume	7
Issue number	ICFP
Pages (from-to)	476-510
DOIs	https://doi.org/10.1145/3607847
Publication status	Published - 31 Aug 2023

Keywords

Functional Reactive Programming
Modal Types
Linear Temporal Logic
Synchronous Data Flow Languages
Type Systems

Access to Document

10.1145/3607847

Cite this

@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",

}

TY - GEN

T1 - Asynchronous Modal FRP

AU - Bahr, Patrick

AU - Møgelberg, Rasmus Ejlers

PY - 2023/8/31

Y1 - 2023/8/31

KW - Functional Reactive Programming

KW - Modal Types

KW - Linear Temporal Logic

KW - Synchronous Data Flow Languages

KW - Type Systems

KW - Functional Reactive Programming

KW - Modal Types

KW - Linear Temporal Logic

KW - Synchronous Data Flow Languages

KW - Type Systems

U2 - 10.1145/3607847

DO - 10.1145/3607847

M3 - Conference article

SN - 2475-1421

VL - 7

SP - 476

EP - 510

JO - Proceedings of the ACM on Programming Languages

JF - Proceedings of the ACM on Programming Languages

IS - ICFP

M1 - 205

ER -