Robert Harper Benjamin C. Pierce Advanced module systems: a guide for the perplexed (abstract of invited talk). 130 2000 ICFP http://doi.acm.org/10.1145/351240.351252 db/conf/icfp/icfp2000.html#HarperP00