@misc{indiciae160a8c2113a7,
  title = {Typing Strictness (Extended Version)},
  author = {Daniel Sainati and Joseph W. Cutler and Benjamin C. Pierce and Stephanie Weirich},
  year = {2026},
  url = {https://arxiv.org/abs/2510.16133},
  note = {Source identifier: 2510.16133}
}