Practical Range Refinement Types with Inference

Valentin Aebi, Carlo A. Furia

Refinement types are a static verification technique that aims at increasing the expressivity of traditional type systems while remaining easy and natural to use. While systems bas…