1 paper
Milod Kazerounian, Niki Vazou, Austin Bourgerie +2
Refinement types are a popular way to specify and reason about key program properties. In this paper, we introduce RTR, a new system that adds refinement types to Ruby. RTR is buil…