TY - RPRT TI - Generic Constraints Projection: Four-Dimensional Type Inference for Dynamic Languages AU - Qunhui Zhang PY - 2026 UR - https://arxiv.org/abs/2607.19693 ID - 2607.19693 ER -