The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Martin Sulzmann: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Kenny Zhuo Ming Lu, Martin Sulzmann
    An Implementation of Subtyping Among Regular Expression Types. [Citation Graph (0, 0)][DBLP]
    APLAS, 2004, pp:57-73 [Conf]
  2. Kim Marriott, Peter J. Stuckey, Martin Sulzmann
    Resource Usage Verification. [Citation Graph (0, 0)][DBLP]
    APLAS, 2003, pp:212-229 [Conf]
  3. Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
    Type Processing by Constraint Reasoning. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:1-25 [Conf]
  4. Martin Sulzmann
    An Overview of the Chameleon System. [Citation Graph (0, 0)][DBLP]
    APLAS, 2002, pp:16-30 [Conf]
  5. Martin Sulzmann, Tom Schrijvers, Peter J. Stuckey
    Principal Type Inference for GHC-Style Multi-parameter Type Classes. [Citation Graph (0, 0)][DBLP]
    APLAS, 2006, pp:26-43 [Conf]
  6. Bernhard Beckert, Reiner Hähnle, Peter Oel, Martin Sulzmann
    The Tableau-based Theorem Prover 3TAP Version 4.0. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:303-307 [Conf]
  7. Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey, Martin Sulzmann
    Sound and Decidable Type Inference for Functional Dependencies. [Citation Graph (0, 0)][DBLP]
    ESOP, 2004, pp:49-63 [Conf]
  8. Martin Sulzmann
    A General Type Inference Framework for Hindley/Milner Style Systems. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2001, pp:248-263 [Conf]
  9. Martin Sulzmann, Jeremy Wazny, Peter J. Stuckey
    A Framework for Extended Algebraic Data Types. [Citation Graph (0, 0)][DBLP]
    FLOPS, 2006, pp:47-64 [Conf]
  10. Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
    Exception analysis for non-strict languages. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:98-109 [Conf]
  11. Peter J. Stuckey, Martin Sulzmann
    A theory of overloading. [Citation Graph (0, 0)][DBLP]
    ICFP, 2002, pp:167-178 [Conf]
  12. Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard
    Boolean Constraints for Binding-Time Analysis. [Citation Graph (0, 0)][DBLP]
    PADO, 2001, pp:39-62 [Conf]
  13. Martin Sulzmann, Kenny Zhuo Ming Lu
    XHaskell. [Citation Graph (0, 0)][DBLP]
    PLAN-X, 2006, pp:92- [Conf]
  14. Martin Sulzmann
    Extracting programs from type class proofs. [Citation Graph (0, 0)][DBLP]
    PPDP, 2006, pp:97-108 [Conf]
  15. Kevin Glynn, Peter J. Stuckey, Martin Sulzmann
    Effective Strictness Analysis with HORN Constraints. [Citation Graph (0, 0)][DBLP]
    SAS, 2001, pp:73-92 [Conf]
  16. Martin Sulzmann, Manuel M. T. Chakravarty, Simon L. Peyton Jones, Kevin Donnelly
    System F with type equality coercions. [Citation Graph (0, 0)][DBLP]
    TLDI, 2007, pp:53-66 [Conf]
  17. Kevin Glynn, Martin Sulzmann, Peter J. Stuckey
    Type Classes and Constraint Handling Rules [Citation Graph (0, 0)][DBLP]
    CoRR, 2000, v:0, n:, pp:- [Journal]
  18. Peter J. Stuckey, Martin Sulzmann, Jeremy Wazny
    The Chameleon Type Debugger (Tool Demonstration) [Citation Graph (0, 0)][DBLP]
    CoRR, 2003, v:0, n:, pp:- [Journal]
  19. Martin Sulzmann, Kenny Zhuo Ming Lu
    A Type-Safe Embedding of XDuce into ML. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2006, v:148, n:2, pp:239-264 [Journal]
  20. Martin Sulzmann, Gregory J. Duck, Simon L. Peyton Jones, Peter J. Stuckey
    Understanding functional dependencies via constraint handling rules. [Citation Graph (0, 0)][DBLP]
    J. Funct. Program., 2007, v:17, n:1, pp:83-129 [Journal]
  21. Martin Odersky, Martin Sulzmann, Martin Wehr
    Type Inference with Constrained Types. [Citation Graph (0, 0)][DBLP]
    TAPOS, 1999, v:5, n:1, pp:35-55 [Journal]
  22. Peter J. Stuckey, Martin Sulzmann
    A theory of overloading. [Citation Graph (0, 0)][DBLP]
    ACM Trans. Program. Lang. Syst., 2005, v:27, n:6, pp:1216-1269 [Journal]
  23. Gregory J. Duck, Peter J. Stuckey, Martin Sulzmann
    Observable Confluence for Constraint Handling Rules. [Citation Graph (0, 0)][DBLP]
    ICLP, 2007, pp:224-239 [Conf]
  24. Martin Sulzmann, Razvan Voicu
    Language-Based Program Verification via Expressive Types. [Citation Graph (0, 0)][DBLP]
    Electr. Notes Theor. Comput. Sci., 2007, v:174, n:7, pp:129-147 [Journal]

  25. Actors with Multi-headed Message Receive Patterns. [Citation Graph (, )][DBLP]


  26. Tag-Free Combinators for Binding-Time Polymorphic Program Generation. [Citation Graph (, )][DBLP]


  27. Modular generic programming with extensible superclasses. [Citation Graph (, )][DBLP]


  28. Type checking with open type functions. [Citation Graph (, )][DBLP]


  29. Complete and decidable type inference for GADTs. [Citation Graph (, )][DBLP]


  30. Transactions in Constraint Handling Rules. [Citation Graph (, )][DBLP]


  31. XHaskell - Adding Regular Expression Types to Haskell. [Citation Graph (, )][DBLP]


  32. A concurrent constraint handling rules implementation in Haskell with software transactional memory. [Citation Graph (, )][DBLP]


  33. Comparing the performance of concurrent linked-list implementations in Haskell. [Citation Graph (, )][DBLP]


  34. Parallel execution of multi-set constraint rewrite rules. [Citation Graph (, )][DBLP]


  35. Aspect-oriented programming with type classes. [Citation Graph (, )][DBLP]


  36. Improved Inference for Checking Annotations [Citation Graph (, )][DBLP]


  37. Type Inference for Guarded Recursive Data Types [Citation Graph (, )][DBLP]


  38. Concurrent Goal-Based Execution of Constraint Handling Rules [Citation Graph (, )][DBLP]


Search in 0.004secs, Finished in 0.006secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002