TY  - RPRT
TI  - Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)
AU  - Shawn Meier
AU  - Sergio Mover
AU  - Bor-Yuh Evan Chang
PY  - 2019
DO  - 10.4230/lipics.ecoop.2019.4
UR  - https://arxiv.org/abs/1906.04924
ID  - 1906.04924
ER  -