@misc{indiciae6fecad64f36b,
  title = {A Theory of Higher-Order Subtyping with Type Intervals (Extended Version)},
  author = {Sandro Stucki and Paolo G. Giarrusso},
  year = {2021},
  doi = {10.1145/3473574},
  url = {https://arxiv.org/abs/2107.01883},
  note = {Source identifier: 2107.01883}
}