@misc{indiciaeed813c35c198,
  title = {Compositional Separation of Control Flow and Data Flow},
  author = {Damian Arellanes},
  year = {2026},
  doi = {10.1016/j.jlamp.2026.101125},
  url = {https://arxiv.org/abs/2309.06397},
  note = {Source identifier: 2309.06397}
}