Parametric and type-dependent polymorphism (1994)

by G Longo
Venue:Fundamenta Informaticae