Principal Type Schemes and Uni cation for Intersection Type Discipline (1988)

by Ronchi della Rocca, S
Venue:Theoretical Computer Science