Principal Types and Unification For a Simple Intersection Type System (1995)

by M Coppo, P Giannini
Venue:Information and Computation, Vol