Publication A module system independent of base languages MLPA 2009: Workshop on Modules and Libraries for Proof Assistants, pp. 24-29 Authors Hyeonseung Im Sungwoo Park Tags programming-languages
