- 1ML with Special Effects F-ing Generativity Polymorphism
- 1ML – Core and Modules United (F-ing First-Class Modules)
- A category-theoretic account of program modules
- What is a Recursive Module?
- A Type System for Higher-Order Modules
- A Type System for Recursive Modules
- Recursive type generativity
- Understanding and Evolving the ML Module System
- A Focused Solution to the Avoidance Problem
- Fully Abstract Module Compilation
- F-ing Modules
- Units: Cool Modules for HOT Languages
- On The Type Structure of Standard ML
- A Type-Theoretic Approach to Higher-Order Modules with Sharing
- Higher-Order Modules and the Phase Distinction
- An Interpretation of Standard ML in Type Theory
- A Type-Theoretic Interpretation of Standard ML
- Manifest Abstract types, modules, and separate compilation
- Applicative functors and fully transparent higher-order modules
- Logical Relations as Types
- Using Dependent Types to Express Modular Structure
- Modular Type Classes
- Modules, Abstraction, and Parametric Polymorphism
- Abstract Types Have Existential Type
- Mixin' Up the ML Module System
- A Practical Module System for LF
- The Geometry of Interaction as a Module System
- From Structures and Functors to Modules and Units
- ML Module Mania: A Type-Safe, Separately Compiled, Extensible Interpreter
- Recursive Structures for Standard ML
- Non-dependent Types for Standard ML Modules
- Defunctionalisation as Modular Closure Conversion
- Types For Modules
- ML Modules and Haskell Type Classes: A Constructive Comparison
- Higher-order modules in System Fw and Haskell
- A modular module system
- The Design Space of ML Modules
- An Implementation of Standard ML Modules
- A Type System for Recursive Modules
- Reflections on Standard ML
- Program Generation for ML Modules (Short Paper)