Eliminating Array Bound Checking Through Dependent Types.

Hongwei Xi, Frank Pfenning

Browse the full PLDI paper archive.