A modular module system (2000)

by X Leroy
Venue:Journal of Functional Programming