TY  - RPRT
TI  - Polymorphism Meets DHOL
AU  - Rhea Ranalter
AU  - Florian Rabe
AU  - Cezary Kaliszyk
PY  - 2026
UR  - https://arxiv.org/abs/2605.00295
ID  - 2605.00295
ER  -