Title Authors Date A Focused Solution to the Avoidance Problem Crary Journal of Functional Programming, to appear, 2020 Fully Abstract Module Compilation Crary POPL 2019 The Geometry of Interaction as a Module System Schöpp 2018 Modules, abstraction, and parametric polymorphism Crary POPL 2017 1ML with Special Effects Rossberg WadlerFest 2016 1ML — core and modules united Rossberg Submitted to JFP 2016 F-ing Modules Rossberg, Russo, Dreyer TLDI 2010 A practical module system for LF Rabe, Schürmann LFMTP '09 Mixin' Up the ML Module System Dreyer, Rossberg ICFP 2008 Modular type classes Dreyer, Harper, Chakravarty, Keller POPL 2007 A Type System for Recursive Modules Dreyer ICFP 2007 From Structures and Functors to Modules and Units Owens, Flatt ICFP 2006 ML Modules and Haskell Type Classes: A Constructive Comparison Wehr Master thesis, 2005 Recursive Type Generativity Dreyer JFP 2007, previously in ICFP 2005 Understanding and Evolving the ML Module System Dreyer PhD thesis, 2005 Higher-order modules in System Fω and Haskell Shan 2004 A Type System for Higher-Order Modules Dreyer, Crary, Harper POPL 2003 Recursive Structures for Standard ML Russo ICFP 2001 A modular module system Leroy JFP 2000 A Type-Theoretic Interpretation of Standard ML Harper, Stone Milner Festschrift, 2000 What is a Recursive Module? Crary, Harper, Puri PLDI 1999 Non-Dependent Types for Standard ML Modules Russo PPDP 1999 Types For Modules Russo PhD thesis, 1998 Units: Cool Modules for HOT Languages Flatt, Felleisen PLDI 1998 An Interpretation of Standard ML in Type Theory Harper, Stone Tech Report, 1997 Applicative Functors and Fully Transparent Higher-Order Modules Leroy POPL 1995 A category-theoretic account of program modules Moggi 1994 A Type-Theoretic Approach to Higher-Order Modules with Sharing Harper, Lillibridge POPL 1994 Manifest Types, Modules, and Separate Compilation Leroy POPL 1994 Higher-order modules and the phase distinction Harper, Mitchell, Moggi 1990 On the Type Structure of Standard ML Harper, Mitchell TOPLAS 1993, originally in POPL 1988 Using Dependent Types to Express Modular Structure MacQueen POPL 1986 Abstract Types Have Existential Type Mitchell, Plotkin TOPLAS 1988, originally in POPL 1985