@misc{wasser2019technical,
  title={Technical Report: Using Loop Scopes with for-Loops},
  author={Nathan Wasser and Dominic Steinhöfel},
  year={2019},
  eprint={1901.06839},
  archivePrefix={arXiv},
  primaryClass={cs.PL},
  url={https://arxiv.org/abs/1901.06839}
}