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