Type Checking Type Classes (1993)

by Tobias Nipkow , Christian Prehofer
Venue:IN PROC. 20TH ACM SYMP. PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:31 - 3 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