1. ScholarBank@NUS

SULZMANN, MARTIN

rp10194

Collaboration Map View Statistics Email Alert RSS Feed

Profile

Full Name
SULZMANN, MARTIN
(not current staff)
Variants
Sulzmann, M.
 
Main Affiliation
 
Faculty
 
Email
dcssulzm@nus.edu.sg
 

Publications

Refined By:
Date Issued:  [2000 TO 3000]
Subject:  Type classes

Results 1-5 of 5 (Search time: 0.005 seconds).

Issue DateTitleAuthor(s)
12005A theory of overloadingStuckey, P.J.; Sulzmann, M. 
22006Extracting programs from type class proofsSulzmann, M. 
32004Improving type error diagnosisStuckey, P.J.; Sulzmann, M. ; Wazny, J.
42003Interactive Type Debugging in HaskellStuckey, P.J.; Sulzmann, M. ; Wazny, J.
52006Modular generic programming with extensible superclassesSulzmann, M. ; Wang, M.