Type Reconstruction for Type Classes (1995)
Cached
Download Links
- [www4.in.tum.de]
- [www4.informatik.tu-muenchen.de]
- [wwwbroy.informatik.tu-muenchen.de]
- [www4.informatik.tu-muenchen.de]
- DBLP
Other Repositories/Bibliography
by
Tobias Nipkow
,
Christian Prehofer
| Citations: | 24 - 8 self |
Document Versions
| Type Reconstruction for Type Classes –Tobias Nipkow, Christian Prehofer — 1995 |
| Type Reconstruction for Type Classes –Tobias Nipkow, Christian Prehofer, Tu Munchen — 1993 |
