@misc{indiciae50df8c9c0b80,
  title = {Unboxing Virgil ADTs for Fun and Profit},
  author = {Bradley Wei Jie Teo and Ben L. Titzer},
  year = {2024},
  doi = {10.1145/3694848.3694857},
  url = {https://arxiv.org/abs/2410.11094},
  note = {Source identifier: 2410.11094}
}