[1] http://plv.mpi-sws.org/backpack/
What ML modules have as extra advantage over other module systems, is that they also exist as types.
[1] http://plv.mpi-sws.org/backpack/