Gradual Liquid Type Inference

Niki Vazou, Éric Tanter, David Van Horn

Liquid typing provides a decidable refinement inference mechanism that is convenient but subject to two major issues: (1) inference is global and requires top-level annotations, ma…