TY  - RPRT
TI  - Early Announcement: Parametricity for GADTs
AU  - Pierre Cagne
AU  - Patricia Johann
PY  - 2024
UR  - https://arxiv.org/abs/2411.00589
ID  - 2411.00589
ER  -