Using Dependent Types to Express Modular Structure

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

No reviews for this publication, yet.