@misc{indiciae2de1a9056152,
  title = {Types and Semantics for Extensible Data Types (Extended Version)},
  author = {Cas van der Rest and Casper Bach Poulsen},
  year = {2023},
  url = {https://arxiv.org/abs/2309.14985},
  note = {Source identifier: 2309.14985}
}