Derek Dreyer, Karl Crary, Robert Harper. A type system for higher-order modules. In POPL. pages 236-249, 2003. [doi]
@inproceedings{DreyerCH03,
title = {A type system for higher-order modules},
author = {Derek Dreyer and Karl Crary and Robert Harper},
year = {2003},
doi = {10.1145/640128.604151},
url = {http://doi.acm.org/10.1145/640128.604151},
tags = {type system},
researchr = {https://researchr.org/publication/DreyerCH03},
cites = {0},
citedby = {0},
pages = {236-249},
booktitle = {POPL},
}