Principal signatures for higher-order program modules (1992)

by M Tofte
Venue:In 19th symposium Principles of Programming Languages