Principal signatures for higher-order program modules (1992)

by M Tofte
Venue:In Proceedings of the 1992's ACM Symposium Principles of Programming Languages