"Mixin' up the ML module system."

Derek Dreyer, Andreas Rossberg (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics