Type Checking Type Classes (1993)
Cached
Download Links
- [www4.informatik.tu-muenchen.de]
- [www4.in.tum.de]
- [www4.informatik.tu-muenchen.de]
- [wwwbroy.informatik.tu-muenchen.de]
- DBLP
Other Repositories/Bibliography
by
Tobias Nipkow
,
Christian Prehofer
| Venue: | IN PROC. 20TH ACM SYMP. PRINCIPLES OF PROGRAMMING LANGUAGES |
| Citations: | 30 - 2 self |
Document Versions
| Type Checking Type Classes –Tobias Nipkow, Christian Prehofer — 1993 — IN PROC. 20TH ACM SYMP. PRINCIPLES OF PROGRAMMING LANGUAGES |
| Type Checking Type Classes –Tobias Nipkow, Christian Prehofer — 1993 |
