Using parameterized signatures to express modular structure (1996)

by M P JONES
Venue:In Principles of Programming Languages (POPL