@inproceedings{512670,
 author = {David B. MacQueen},
 title = {Using dependent types to express modular structure},
 booktitle = {Proceedings of the 13th annual ACM symposium on Principles of programming languages},
 year = {1986},
 pages = {277--286},
 location = {St. Petersburg Beach, Florida},
 doi = {http://doi.acm.org/10.1145/512644.512670},
 publisher = {ACM Press},
 }