Type Checking Type Classes (1993)

by Tobias Nipkow , Christian Prehofer
Venue:IN PROC. 20TH ACM SYMP. PRINCIPLES OF PROGRAMMING LANGUAGES
Citations:36 - 4 self