Mixin' up the ML module system.

Derek Dreyer, Andreas Rossberg

Browse the full ICFP paper archive.