A Modular Module System (2000)

by Xavier Leroy
Venue:Journal of Functional Programming