Refinement Types for Ruby.

Milod Kazerounian, Niki Vazou, Austin Bourgerie, Jeffrey S. Foster, Emina Torlak

Browse the full VMCAI paper archive.