"Advanced module systems: a guide for the perplexed (abstract of invited talk)."

Robert Harper, Benjamin C. Pierce (2000)
a service of  Schloss Dagstuhl - Leibniz Center for Informatics