@inproceedings{292560,
 author = {Hongwei Xi and Frank Pfenning},
 title = {Dependent types in practical programming},
 booktitle = {Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages},
 year = {1999},
 isbn = {1-58113-095-3},
 pages = {214--227},
 location = {San Antonio, Texas, United States},
 doi = {http://doi.acm.org/10.1145/292540.292560},
 publisher = {ACM Press},
 }