Using dependent types to express modular structure (1986)

Cached

Download Links

by David Macqueen , David Macqueen
Venue:In Thirteenth ACM Symposium on Principles of Programming Languages
Citations:125 - 5 self