@inproceedings{277732,
 author = {Hongwei Xi and Frank Pfenning},
 title = {Eliminating array bound checking through dependent types},
 booktitle = {Proceedings of the ACM SIGPLAN 1998 conference on Programming language design and implementation},
 year = {1998},
 isbn = {0-89791-987-4},
 pages = {249--257},
 location = {Montreal, Quebec, Canada},
 doi = {http://doi.acm.org/10.1145/277650.277732},
 publisher = {ACM Press},
 }