Refinement Types for Ruby. - Milod Kazerounian; Niki Vazou; Austin Bourgerie; Jeffrey S. Foster; Emina Torlak (VMCAI, 2018)