1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Rodrigo Marques, Mário Florido, Pedro Vasconcelos
MLsub is a minimal language with a type system combining subtyping and parametric polymorphism and a type inference algorithm which infers compact principal types. Simple-sub is an…