59 citations · 106 across the 9 of their papers we have counts for
1 paper · 1 filter
Jana Dunfield
Refinement types turn typechecking into lightweight verification. The classic form of refinement type is the datasort refinement, in which datasorts identify subclasses of inductiv…