A module system for a programming language based on the LF logical framework (1992)

by Robert Harper, Frank Pfenning