Eliminating Array Bound Checking Through Dependent Types (1998)

Cached

Download Links

by Hongwei Xi , Frank Pfennig
Venue:In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation
Citations:169 - 24 self