Papers related to Module system

• A structured TCP in Standard ML [biagioni:sigcomm:1994]
• Static and dynamic structure in design patterns [eide:icse:2002]
• Units: Cool modules for HOT languages [flatt:pldi:1998]
• Microkernels meet recursive virtual machines [ford:sosp:1996]
• The Flux OSKit: A substrate for kernel and language research [ford:sosp:1997]
• The nesC language: A holistic approach to networked embedded systems [gay:pldi:2003]
• Interposition agents: transparently interposing user code at the system interface [jones:sosp:1993]
• Knit: Component composition for systems software [reid:osdi:2000]