Mark Hills, Grigore Rosu. Towards a Module System for K. In Andrea Corradini, Ugo Montanari, editors, Recent Trends in Algebraic Development Techniques, 19th International Workshop, WADT 2008, Pisa, Italy, June 13-16, 2008, Revised Selected Papers. Volume 5486 of Lecture Notes in Computer Science, pages 187-205, Springer, 2008. [doi]
Abstract is missing.