Two-level types and parameterized modules (2003)
by
Tim Sheard
,
Emir Pasalic
| Venue: | Journal of Functional Programming |
| Citations: | 7 - 0 self |
Document Versions
| Two-level types and parameterized modules –Tim Sheard, Emir Pasalic — 2003 — Journal of Functional Programming |
