A type discipline for program modules (1987)

by R Harper, R Milner, M Tofte
Venue:in ‘TAPSOFT ’87