TY  - RPRT
TI  - Foundational Constraint Solving for Expressive Refinement Typing
AU  - Jam Kabeer Ali Khan
AU  - Petros Markopoulos
AU  - Nico Lehmann
AU  - Ranjit Jhala
PY  - 2026
UR  - https://arxiv.org/abs/2607.12226
ID  - 2607.12226
ER  -