@misc{atkinson2021programming,
  title={Programming and Reasoning with Partial Observability},
  author={Eric Atkinson and Michael Carbin},
  year={2021},
  eprint={2101.04742},
  archivePrefix={arXiv},
  primaryClass={cs.PL},
  doi={10.1145/3428268},
  url={https://arxiv.org/abs/2101.04742}
}