Using Parameterized Signatures to Express Modular Structure (1996)

by Mark P. Jones
Venue:POPL'96
Citations:67 - 1 self