@misc{indiciaed73338476b63,
  title = {Type-Preserving Compilation of Class-Based Languages},
  author = {Guillaume Martres},
  year = {2023},
  doi = {10.5075/epfl-thesis-8218},
  url = {https://arxiv.org/abs/2307.05557},
  note = {Source identifier: 2307.05557}
}