Principal type scheme and unification for intersection type discipline (1988)

by S Ronchi Della Rocca
Venue:Theoretical Computer Science