15 citations · 15 across the 1 of their papers we have counts for
1 paper
William Lovas, Frank Pfenning
Refinement types sharpen systems of simple and dependent types by offering expressive means to more precisely classify well-typed terms. We present a system of refinement types for…