@misc{indiciaeb114f763d0ce,
  title = {Lifestate: Event-Driven Protocols and Callback Control Flow (Extended Version)},
  author = {Shawn Meier and Sergio Mover and Bor-Yuh Evan Chang},
  year = {2019},
  doi = {10.4230/lipics.ecoop.2019.4},
  url = {https://arxiv.org/abs/1906.04924},
  note = {Source identifier: 1906.04924}
}