317 citations · 321 across the 11 of their papers we have counts for
1 paper · 1 filter
Emmanuel Hainry, Romain Péchoux
A type system is introduced for a generic Object Oriented programming language in order to infer resource upper bounds. A sound andcomplete characterization of the set of polynomia…