Using parameterized signatures to express modular structure. (1996)

by M Jones
Venue:In 23rd ACM Symposium on Principles of Programming Languages (POPL'96),