- CSB - MetaPress - Google - Bing - Yahoo
 | 2013 | |
|---|---|---|
| c35 |      | Martin Sulzmann, Jürgen Nicklisch-Franken, Axel Zechner: Traceability and evidence of correctness of EDSL abstractions. PEPM 2013: 71-74 |
| 2012 | ||
| c34 |  | Stefan Milius, Henning Günther, Jan Peleska, Oliver Möller, Helge Löding, Martin Sulzmann, Ramin Hedayati, Axel Zechner: A framework for formal verification of systems of synchronous components. MBEES 2012: 145-154 |
| c33 | | Martin Sulzmann, Kenny Zhuo Ming Lu: Regular expression sub-matching using partial derivatives. PPDP 2012: 79-90 |
| c32 | | |
| c31 | | Martin Sulzmann, Axel Zechner: Constructive Finite Trace Analysis with Linear Temporal Logic. TAP 2012: 132-148 |
| 2011 | ||
| j8 | | Dimitrios Vytiniotis, Simon L. Peyton Jones, Tom Schrijvers, Martin Sulzmann: OutsideIn(X) Modular type inference with local assumptions. J. Funct. Program. 21(4-5): 333-412 (2011) |
| j7 | | Edmund S. L. Lam, Martin Sulzmann: Concurrent goal-based execution of Constraint Handling Rules. TPLP 11(6): 841-879 (2011) |
| 2010 | ||
| c30 | | Peter Thiemann, Martin Sulzmann: Tag-Free Combinators for Binding-Time Polymorphic Program Generation. FLOPS 2010: 87-102 |
| i5 | | Edmund S. L. Lam, Martin Sulzmann: Concurrent Goal-Based Execution of Constraint Handling Rules. CoRR abs/1006.3039 (2010) |
| 2009 | ||
| c29 | | Tom Schrijvers, Simon L. Peyton Jones, Martin Sulzmann, Dimitrios Vytiniotis: Complete and decidable type inference for GADTs. ICFP 2009: 341-352 |
| c28 | | Martin Sulzmann, Edmund S. L. Lam, Simon Marlow: Comparing the performance of concurrent linked-list implementations in Haskell. DAMP 2009: 37-46 |
| 2008 | ||
| j6 | | Martin Sulzmann, Peter J. Stuckey: HM(X) type inference is CLP(X) solving. J. Funct. Program. 18(2): 251-283 (2008) |
| c27 | | Martin Sulzmann, Edmund S. L. Lam, Peter Van Weert: Actors with Multi-headed Message Receive Patterns. COORDINATION 2008: 315-330 |
| c26 | | Tom Schrijvers, Simon L. Peyton Jones, Manuel M. T. Chakravarty, Martin Sulzmann: Type checking with open type functions. ICFP 2008: 51-62 |
| c25 | | |
| c24 | | Martin Sulzmann, Edmund S. L. Lam: Parallel execution of multi-set constraint rewrite rules. PPDP 2008: 20-31 |
| 2007 | ||
| j5 | | Martin Sulzmann, Razvan Voicu: Language-Based Program Verification via Expressive Types. Electr. Notes Theor. Comput. Sci. 174(7): 129-147 (2007) |
| j4 | | 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) |
| c23 | | |
| c22 | | Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann: Observable Confluence for Constraint Handling Rules. ICLP 2007: 224-239 |
| c21 | | Martin Sulzmann, Kenny Zhuo Ming Lu: XHaskell - Adding Regular Expression Types to Haskell. IFL 2007: 75-92 |
| c20 | | Edmund S. L. Lam, Martin Sulzmann: A concurrent constraint handling rules implementation in Haskell with software transactional memory. DAMP 2007: 19-24 |
| c19 | | Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly: System F with type equality coercions. TLDI 2007: 53-66 |
| 2006 | ||
| j3 | | Martin Sulzmann, Kenny Zhuo Ming Lu: A Type-Safe Embedding of XDuce into ML. Electr. Notes Theor. Comput. Sci. 148(2): 239-264 (2006) |
| c18 | | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Type Processing by Constraint Reasoning. APLAS 2006: 1-25 |
| c17 | | Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey: Principal Type Inference for GHC-Style Multi-parameter Type Classes. APLAS 2006: 26-43 |
| c16 | | Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey: A Framework for Extended Algebraic Data Types. FLOPS 2006: 47-64 |
| c15 | | Martin Sulzmann, Meng Wang: Modular generic programming with extensible superclasses. ICFP-WGP 2006: 55-65 |
| c14 | | |
| c13 | | |
| 2005 | ||
| j2 | | Peter J. Stuckey, Martin Sulzmann: A theory of overloading. ACM Trans. Program. Lang. Syst. 27(6): 1216-1269 (2005) |
| i4 | | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improved Inference for Checking Annotations. CoRR abs/cs/0507036 (2005) |
| i3 | | Peter J. Stuckey, Martin Sulzmann: Type Inference for Guarded Recursive Data Types. CoRR abs/cs/0507037 (2005) |
| 2004 | ||
| c12 | | Kenny Zhuo Ming Lu, Martin Sulzmann: An Implementation of Subtyping Among Regular Expression Types. APLAS 2004: 57-73 |
| c11 | | Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann: Sound and Decidable Type Inference for Functional Dependencies. ESOP 2004: 49-63 |
| c10 | | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Improving type error diagnosis. Haskell 2004: 80-91 |
| 2003 | ||
| c9 | | |
| c8 | | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: Interactive type debugging in Haskell. Haskell 2003: 72-83 |
| i2 | | Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny: The Chameleon Type Debugger (Tool Demonstration). CoRR cs.PL/0311023 (2003) |
| 2002 | ||
| c7 | | |
| c6 | | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Exception analysis for non-strict languages. ICFP 2002: 98-109 |
| c5 | | |
| 2001 | ||
| c4 | | Martin Sulzmann: A General Type Inference Framework for Hindley/Milner Style Systems. FLOPS 2001: 248-263 |
| c3 | | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard: Boolean Constraints for Binding-Time Analysis. PADO 2001: 39-62 |
| c2 | | Kevin Glynn, Peter J. Stuckey, Martin Sulzmann: Effective Strictness Analysis with HORN Constraints. SAS 2001: 73-92 |
| 2000 | ||
| i1 | | Kevin Glynn, Martin Sulzmann, Peter J. Stuckey: Type Classes and Constraint Handling Rules. CoRR cs.PL/0006034 (2000) |
| 1999 | ||
| j1 | | Martin Odersky, Martin Sulzmann, Martin Wehr: Type Inference with Constrained Types. TAPOS 5(1): 35-55 (1999) |
| 1996 | ||
| c1 | | Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann: The Tableau-based Theorem Prover 3TAP Version 4.0. CADE 1996: 303-307 |
Colors in the list of coauthors
Last update Sun May 19 09:29:49 2013 CET by the DBLP Team —
Data released under the ODC-BY 1.0 license — See also our legal information page