59 citations · 106 across the 9 of their papers we have counts for
1 paper · 2 filters
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…