A module system for a programming language based on the lf logical framework (1998)

by Robert Harper, Frank Pfenning
Venue:Journal of Logic and Computation