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
Type:  Conference Paper

Results 1-3 of 3 (Search time: 0.002 seconds).

Issue DateTitleAuthor(s)
12006Extracting programs from type class proofsSulzmann, M. 
22004Improving type error diagnosisStuckey, P.J.; Sulzmann, M. ; Wazny, J.
32003Interactive Type Debugging in HaskellStuckey, P.J.; Sulzmann, M. ; Wazny, J.