18 citations · 19 across the 4 of their papers we have counts for
1 paper · 1 filter
Matthew Fluet, Riccardo Pucella
Datatype specialization is a form of subtyping that captures program invariants on data structures that are expressed using the convenient and intuitive datatype notation. Of parti…