A type discipline for program modules (1987)

by R Harper, R Milner, M Tofte
Venue:In TAPSOFT 87