Eliminating Array Bound Checking Through Dependent Types.

Hongwei Xi Frank Pfenning

Published in: PLDI (1998)

Keyphrases

databases
computer vision
real world
information retrieval
decision making
website
three dimensional
data structure
worst case
high speed