Design considerations for MLstyle module systems (2005)

by R Harper, B C Pierce
Venue:Advanced Topics in Types and Programming Languages, chapter 8