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

Robert Harper, Benjamin C. Pierce

Browse the full ICFP paper archive.