@misc{indiciae741f0227deef,
  title = {Efficient compilation and execution of synchronous programs via type-state programming},
  author = {Avinash Malik},
  year = {2025},
  url = {https://arxiv.org/abs/2508.01199},
  note = {Source identifier: 2508.01199}
}