Using Parameterized Signatures to Express Modular Structure (1996)

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