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
F-ing modules –Andreas Rossberg, Claudio Russo, Derek Dreyer — 2012
Types for Modules –Andreas Rossberg, Claudio V. Russo, Derek Dreyer — 2003 — ENTCS
Types For Modules –Andreas Rossberg, Claudio Russo, Derek Dreyer — 1998
Types for Modules –Claudio V. Russo — 2003