Manifest Types, Modules, and Separate Compilation

Xavier Leroy. Manifest Types, Modules, and Separate Compilation. In POPL. pages 109-122, 1994.

Abstract

Abstract is missing.