Using clepeuclent types to express modular structure (1986)

by David hiacQueeu
Venue:In f.?thAnnual ACM S~mposium orl Prtrlc tplcs of Progromrnmg languages