@inproceedings{91577,
 author = {Mark A. Sheldon and David K. Gifford},
 title = {Static dependent types for first class modules},
 booktitle = {Proceedings of the 1990 ACM conference on LISP and functional programming},
 year = {1990},
 isbn = {0-89791-368-X},
 pages = {20--29},
 location = {Nice, France},
 doi = {http://doi.acm.org/10.1145/91556.91577},
 publisher = {ACM Press},
 }