14 citations · 31 across the 8 of their papers we have counts for
Showing 2017Show all
2 papers · 1 filter
cs.PL2017
Refinement Types for Ruby
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…
cs.LG2017
The Diverse Cohort Selection Problem
Candice Schumann, Samsara N. Counts, Jeffrey S. Foster +1
How should a firm allocate its limited interviewing resources to select the optimal cohort of new employees from a large set of job applicants? How should that firm allocate cheap…