TY  - RPRT
TI  - Towards the type safety of Pure Subtype Systems (Full version)
AU  - Valentin Pasquale
AU  - Álvaro García-Pérez
PY  - 2025
DO  - 10.4230/lipics.csl.2026.9
UR  - https://arxiv.org/abs/2407.13882
ID  - 2407.13882
ER  -