della Rocca. Characterization of Typings in Polymorphic Type Discipline (1988)

by P Giannini, S Ronchi
Venue:In Proceedings of the Third Annual Symposium on Logic in Computer Science