TY  - RPRT
TI  - AdapTT: Functoriality for Dependent Type Casts
AU  - Arthur Adjedj
AU  - Meven Lennon-Bertrand
AU  - Thibaut Benjamin
AU  - Kenji Maillard
PY  - 2025
DO  - 10.1145/3776664
UR  - https://arxiv.org/abs/2507.13774
ID  - 2507.13774
ER  -