218
click to vote
PLDI
1998
ACM
16 years 11 days ago
1998
ACM
We present a type-based approach to eliminating array bound checking and list tag checking by conservatively extending Standard ML with a restricted form of dependent types. This ...