Martin Sulzmann

2008
35	EE	Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert: Actors with Multi-headed Message Receive Patterns. COORDINATION 2008: 315-330
34	EE	Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann: Type checking with open type functions. ICFP 2008: 51-62
33	EE	Tom Schrijvers, Martin Sulzmann: Transactions in Constraint Handling Rules. ICLP 2008: 516-530
32	EE	Martin Sulzmann, Edmund S. L. Lam: Parallel execution of multi-set constraint rewrite rules. PPDP 2008: 20-31
31	EE	Martin Sulzmann, Peter J. Stuckey: HM(X) type inference is CLP(X) solving. J. Funct. Program. 18(2): 251-283 (2008)
2007
30	EE	Edmund S. L. Lam, Martin Sulzmann: A concurrent constraint handling rules implementation in Haskell with software transactional memory. DAMP 2007: 19-24
29	EE	Martin Sulzmann, Meng Wang: Aspect-oriented programming with type classes. FOAL 2007: 65-74
28	EE	Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann: Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239
27	EE	Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell - Adding Regular Expression Types to Haskell. IFL 2007: 75-92
26	EE	Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly: System F with type equality coercions. TLDI 2007: 53-66
25	EE	Martin Sulzmann, Razvan Voicu: Language-Based Program Verification via Expressive Types. Electr. Notes Theor. Comput. Sci. 174(7): 129-147 (2007)
24	EE	Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey: Understanding functional dependencies via constraint handling rules. J. Funct. Program. 17(1): 83-129 (2007)
2006
23	EE	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Type Processing by Constraint Reasoning. APLAS 2006: 1-25
22	EE	Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey: Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43
21	EE	Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey: A Framework for Extended Algebraic Data Types. FLOPS 2006: 47-64
20	EE	Martin Sulzmann, Meng Wang: Modular generic programming with extensible superclasses. ICFP-WGP 2006: 55-65
19		Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell. PLAN-X 2006: 92
18	EE	Martin Sulzmann: Extracting programs from type class proofs. PPDP 2006: 97-108
17	EE	Martin Sulzmann, Kenny Zhuo Ming Lu: A Type-Safe Embedding of XDuce into ML. Electr. Notes Theor. Comput. Sci. 148(2): 239-264 (2006)
2005
16	EE	Peter J. Stuckey, Martin Sulzmann: A theory of overloading. ACM Trans. Program. Lang. Syst. 27(6): 1216-1269 (2005)
15	EE	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improved Inference for Checking Annotations CoRR abs/cs/0507036: (2005)
14	EE	Peter J. Stuckey, Martin Sulzmann: Type Inference for Guarded Recursive Data Types CoRR abs/cs/0507037: (2005)
2004
13	EE	Kenny Zhuo Ming Lu, Martin Sulzmann: An Implementation of Subtyping Among Regular Expression Types. APLAS 2004: 57-73
12	EE	Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann: Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63
2003
11	EE	Kim Marriott, Peter J. Stuckey, Martin Sulzmann: Resource Usage Verification. APLAS 2003: 212-229
10	EE	Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: The Chameleon Type Debugger (Tool Demonstration) CoRR cs.PL/0311023: (2003)
2002
9		Martin Sulzmann: An Overview of the Chameleon System. APLAS 2002: 16-30
8	EE	Peter J. Stuckey, Martin Sulzmann: A theory of overloading. ICFP 2002: 167-178
7	EE	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Exception analysis for non-strict languages. ICFP 2002: 98-109
2001
6	EE	Martin Sulzmann: A General Type Inference Framework for Hindley/Milner Style Systems. FLOPS 2001: 248-263
5	EE	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Boolean Constraints for Binding-Time Analysis. PADO 2001: 39-62
4	EE	Kevin Glynn, Peter J. Stuckey, Martin Sulzmann: Effective Strictness Analysis with HORN Constraints. SAS 2001: 73-92
2000
3	EE	Kevin Glynn, Martin Sulzmann, Peter J. Stuckey: Type Classes and Constraint Handling Rules CoRR cs.PL/0006034: (2000)
1999
2		Martin Odersky, Martin Sulzmann, Martin Wehr: Type Inference with Constrained Types. TAPOS 5(1): 35-55 (1999)
1996
1		Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann: The Tableau-based Theorem Prover 3TAP Version 4.0. CADE 1996: 303-307

Coauthor Index

1	Bernhard Beckert	[1]
2	Manuel M. T. Chakravarty	[26] [34]
3	Kevin Donnelly	[26]
4	Gregory J. Duck	[12] [24] [28]
5	Kevin Glynn	[3] [4] [5] [7]
6	Reiner Hähnle	[1]
7	Simon L. Peyton Jones	[12] [24] [26] [34]
8	Edmund S. L. Lam	[30] [32] [35]
9	Kenny Zhuo Ming Lu	[13] [17] [19] [27]
10	Kim Marriott	[11]
11	Martin Odersky	[2]
12	Peter Oel	[1]
13	Tom Schrijvers	[22] [33] [34]
14	Harald Søndergaard	[5] [7]
15	Peter J. Stuckey	[3] [4] [5] [7] [8] [10] [11] [12] [14] [15] [16] [21] [22] [23] [24] [28] [31]
16	Razvan Voicu	[25]
17	Meng Wang	[20] [29]
18	Jeremy Wazny	[10] [15] [21] [23]
19	Peter Van Weert	[35]
20	Martin Wehr	[2]

Colors in the list of coauthors