It may not be exactly what you're looking for, but "The History of Standard ML" published last year has a nice section on ML modules with design considerations.