TY  - RPRT
TI  - Let Functions Speak: Lightweight Parametric Polymorphism via Domain and Range Types
AU  - Siyuan He
AU  - Songlin Jia
AU  - Tiark Rompf
PY  - 2026
UR  - https://arxiv.org/abs/2603.23360
ID  - 2603.23360
ER  -