Parametric and Type-dependent Polymorphism (1995)

by G Longo
Venue:Fundamenta Informaticae