Eliminating Array Bound Checking Through Dependent Types (1998)
Cached
Download Links
- [www.lb.cs.cmu.edu]
- [www.ececs.uc.edu]
- CiteULike
- DBLP
Other Repositories/Bibliography
by
Hongwei Xi
,
Frank Pfennig
| Venue: | In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation |
| Citations: | 162 - 24 self |
Document Versions
| Eliminating Array Bound Checking Through Dependent Types –Hongwei Xi, Frank Pfennig — 1998 — In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation |
| Eliminating Array Bound Checking Through Dependent Types –Hongwei Xi, Frank Pfenning — 1998 — In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation |
