TY  - RPRT
TI  - Type-directed Bounding of Collections in Reactive Programs
AU  - Tianhan Lu
AU  - Pavol Cerny
AU  - Bor-Yuh Evan Chang
AU  - Ashutosh Trivedi
PY  - 2019
UR  - https://arxiv.org/abs/1810.10443
ID  - 1810.10443
ER  -