Dependent Types in Practical Programming (1998)
Cached
Download Links
- [www.ececs.uc.edu]
- [www.cs.cmu.edu]
- [www.cs.cmu.edu]
- [www.cs.bu.edu]
- [www.cs.bu.edu]
- CiteULike
- DBLP
Other Repositories/Bibliography
by
Hongwei Xi
,
Dana Scott
| Venue: | In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages |
| Citations: | 272 - 38 self |
Document Versions
| Dependent Types in Practical Programming –Hongwei Xi, Dana Scott — 1998 — In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages |
| Dependent Types in Practical Programming –Hongwei Xi, Dana Scott, C○ Hongwei Xi — 1999 — In Proceedings of ACM SIGPLAN Symposium on Principles of Programming Languages |
