Using Parameterized Signatures to Express Modular Structure (1996)

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

Document Versions

Using Parameterized Signatures to Express Modular Structure –Mark P. Jones — 1996 — POPL'96
Using Parameterized Signatures to Express Modular Structure –Mark P. Jones — 1996
Using Parameterized Signatures to Express Modular Structure –Mark P. Jones — 1996 — In POPL ’96