Rossberg, A., & Dreyer, D. (2013). Mixin' Up the ML Module System. ACM Transactions on Programming Languages and Systems, 35(1): 2, pp. 2:1-2:84. doi:10.1145/2450136.2450137.