Using Parameterized Signatures to Express Modular Structure (1996)
Cached
Download Links
- [www-2.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cis.upenn.edu]
- [www.cse.ogi.edu]
- DBLP
Other Repositories/Bibliography
by
Mark P. Jones
| Venue: | POPL'96 |
| Citations: | 63 - 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 |
