A Type System for Higher-Order Modules Derek Dreyer, Karl Crary, and Robert Harper Carnegie Mellon University POPL 2003 Certified Code and Other Goodies Type Theory for Module…
