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