TY  - RPRT
TI  - A Reasonably Gradual Type Theory
AU  - Kenji Maillard
AU  - Meven Lennon-Bertrand
AU  - Nicolas Tabareau
AU  - Éric Tanter
PY  - 2022
DO  - 10.1145/3547655
UR  - https://arxiv.org/abs/2209.00975
ID  - 2209.00975
ER  -