@misc{indiciae58c2543e9e5d,
  title = {Bidirectional Type Slicing},
  author = {Max Carroll and Anil Madhavapeddy and Cyrus Omar},
  year = {2026},
  url = {https://arxiv.org/abs/2607.12197},
  note = {Source identifier: 2607.12197}
}