Skip navigation
IVLE
Email
Library
Map
Calendar
Home
Research Outputs
View research outputs
Deposit publication / dataset
Researchers
Help
FAQs
Contact us
Guidelines
Log in
ScholarBank@NUS
Research Outputs
Browsing by Author
SULZMANN,MARTIN
Enter a last name
Select a letter below to browse by last name or type
0-9
A
B
C
D
E
F
G
H
I
J
K
L
M
N
O
P
Q
R
S
T
U
V
W
X
Y
Z
Or
Results/Page
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
Showing results 1 to 20 of 21
next >
Refman
EndNote
Bibtex
RefWorks
Excel
CSV
PDF
Send via email
Issue Date
Title
Author(s)
2007
A concurrent constraint handling rules implementation in Haskell with software transactional memory
Lam, E.S.L.
;
Sulzmann, M.
2006
A framework for extended algebraic data types
Sulzmann, M.
;
Wazny, J.
;
Stuckey, P.J.
2005
A theory of overloading
Stuckey, P.J.
;
Sulzmann, M.
2006
A type-safe embedding of XDuce into ML
Sulzmann, M.
;
Lu, K.Z.M.
2004
An implementation of subtyping among regular expression types
Lu, K.Z.M.
;
Sulzmann, M.
2007
Aspect-oriented programming with type classes
Sulzmann, M.
;
Wang, M.
2002
Exception analysis for non-strict languages
Glynn, K.
;
Stuckey, P.J.
;
Sulzmann, M.
;
Søndergaard, H.
2006
Extracting programs from type class proofs
Sulzmann, M.
2008
HM(X) type inference is CLP(X) solving
Sulzmann, M.
;
Stuckey, P.J.
2004
Improving type error diagnosis
Stuckey, P.J.
;
Sulzmann, M.
;
Wazny, J.
2003
Interactive Type Debugging in Haskell
Stuckey, P.J.
;
Sulzmann, M.
;
Wazny, J.
2007
Language-Based Program Verification via Expressive Types
Sulzmann, M.
;
Voicu, R.
2006
Modular generic programming with extensible superclasses
Sulzmann, M.
;
Wang, M.
2007
Observable confluence for constraint handling rules
Duck, G.J.
;
Stuckey, P.J.
;
Sulzmann, M.
2006
Principal type inference for GHC-style multi-parameter type classes
Sulzmann, M.
;
Schrijvers, T.
;
Stuckey, P.J.
2003
Resource usage verification
Marriott, K.
;
Stuckey, P.J.
;
Sulzmann, M.
2004
Sound and decidable type inference for functional dependencies
Duck, G.J.
;
Peyton-Jones, S.
;
Stuckey, P.J.
;
Sulzmann, M.
2007
System F with type equality coercions
Sulzmann, M.
;
Chakravarty, M.M.T.
;
Jones, S.P.
;
Donnelly, K.
2006
Type processing by constraint reasoning
Stuckey, P.J.
;
Sulzmann, M.
;
Wazny, J.
2007
Understanding functional dependencies via constraint handling rules
Sulzmann, M.
;
Duck, G.J.
;
Peyton-Jones, S.
;
Stuckey, P.J.