Hongwei Xi, Frank Pfenning
Eliminating Array Bound Checking Through Dependent Types
PLDI, 1998.
@inproceedings{PLDI-1998-XiP,
author = "Hongwei Xi and Frank Pfenning",
booktitle = "{Proceedings of the 19th Conference on Programming Language Design and Implementation}",
doi = "10.1145/277650.277732",
editor = "Jack W. Davidson and Keith D. Cooper and A. Michael Berman",
isbn = "0-89791-987-4",
pages = "249--257",
publisher = "{ACM}",
title = "{Eliminating Array Bound Checking Through Dependent Types}",
year = 1998,
}