Using Dependent Types to Express Modular Structure

David B. MacQueen. Using Dependent Types to Express Modular Structure. In POPL. pages 277-286, 1986.

Abstract

Abstract is missing.