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:
Subject:  Overloading

Results 1-4 of 4 (Search time: 0.002 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.