TY - RPRT TI - Type-Preserving Compilation of Class-Based Languages AU - Guillaume Martres PY - 2023 DO - 10.5075/epfl-thesis-8218 UR - https://arxiv.org/abs/2307.05557 ID - 2307.05557 ER -