Generic Refinement Types. - Nico Lehmann; Cole Kurashige; Nikhil Akiti; Niroop Krishnakumar; Ranjit Jhala (Proc. ACM Program. Lang., 2025)