TY - RPRT TI - All for one and none forall: Compiling polymorphic relations without monomorphization AU - Dmitri Volkov AU - Yafei Yang AU - Chung-Chieh Shan PY - 2026 UR - https://arxiv.org/abs/2607.24678 ID - 2607.24678 ER -