Focusing on Refinement Typing. - ECONOMOU, DIMITRIOS J.; KRISHNASWAMI, NEEL; DUNFIELD, JANA (ACM Transactions on Programming Languages & Systems, 2023)