@inproceedings{DML99,
author = "Hongwei Xi and Frank Pfenning",
title = {Dependent Types in Practical Programming},
booktitle = "Proceedings of the 26th ACM SIGPLAN Symposium on Principles of Programming Languages",
year = 1999,
month = "January",
address = "San Antonio",
pages = "214--227"
}