5 citations · 7 across the 5 of their papers we have counts for
1 paper · 2 filters
Rodolphe Lepigre, Christophe Raffalli
We present a rich type system with subtyping for an extension of System F. Our type constructors include sum and product types, universal and existential quantifiers, inductive and…