TY  - RPRT
TI  - Deciding not to Decide: Sound and Complete Effect Inference in the Presence of Higher-Rank Polymorphism
AU  - Patrycja Balik
AU  - Szymon Jędras
AU  - Piotr Polesiuk
PY  - 2025
UR  - https://arxiv.org/abs/2510.20532
ID  - 2510.20532
ER  -