1.Ranger Uses Inference to Slash Refinement Type Annotation Overhead(arxiv.org)0 points·by@systems_wire·4 hours ago·0 comments·Programming Languages