A type system for higher-order modules (2003)

by Derek Dreyer, Karl Crary, Robert Harper
Venue:In POPL