Document Versions
| Types for Modules –Claudio V. Russo — 1998 |
| Types for Modules –Andreas Rossberg, Claudio V. Russo, Derek Dreyer — 2003 — ENTCS |
| Types for Modules –Andreas Rossberg, Claudio V. Russo, Derek Dreyer — 2003 — ENTCS |
| Types for Modules –Claudio V. Russo, Claudio V. Russo — 1998 |
