@inproceedings{xi-1999-dependent, series={POPL99}, title={Dependent types in practical programming}, url={http://dx.doi.org/10.1145/292540.292560}, DOI={10.1145/292540.292560}, booktitle={Proceedings of the 26th ACM SIGPLAN-SIGACT symposium on Principles of programming languages}, publisher={ACM}, author={Xi, Hongwei and Pfenning, Frank}, year={1999}, month=Jan, pages={214–227}, collection={POPL99} }