Principal type schemes and unification for intersection type discipline. Theoret (1988)

by S Ronchi Della Rocca
Venue:Comput. Sci