Books and proceedings
Articles in journal, book chapters
- Martin Sulzmann, Kai Stadtmüller, and Edmund S.L. Lam. Establishing a Correspondence between Transactional Events and Constraint Handling Rules. 2015. [PDF]
- Gregory J. Duck, Rémy Haemmerlé, and Martin Sulzmann. On Termination, Confluence and Consistent CHR-based Type Inference. Theory and Practice of Logic Programming, 14:619-632, 7 2014. ISSN: 1475-3081. [WWW] [doi:10.1017/S1471068414000246]
- D. Vytiniotis, S.P. Jones, T. Schrijvers, and M. Sulzmann. OutsideIn (X) Modular type inference with local assumptions. 2010.
- Edmund S.L. Lam and Martin Sulzmann. Concurrent goal-based execution of Constraint Handling Rules. TPLP, 11:841-879, 2009. [POSTSCRIPT] Keyword(s): parallelism.
- Martin Sulzmann and Peter J. Stuckey. HM(X) Type Inference is CLP(X) Solving. Journal of Functional Programming, 18(2):251-283, 2008. [doi:10.1017/S0956796807006569] Keyword(s): type systems.
- Martin Sulzmann, Gregory J. Duck, Simon Peyton-Jones, and Peter J. Stuckey. Understanding functional dependencies via Constraint Handling Rules. J. Functional Prog., 17(1):83-129, 2007. [doi:10.1017/S0956796806006137] Keyword(s): type systems.
- Peter J. Stuckey and Martin Sulzmann. A theory of overloading. TOPLAS, 27(6):1216-1269, 2005. ISSN: 0164-0925. Keyword(s): type systems.
Conference articles
- Edmund S.L. Lam and Martin Sulzmann. Finally, A Comparison Between Constraint Handling Rules and Join-Calculus. In T. Schrijvers, F. Raiser, and T. Frühwirth, editors, CHR08l, pages 51-66, 2008. RISC Report Series 08-10, University of Linz, Austria. [PDF] Keyword(s): CHR 2008, related formalisms, CHR 2008, CHR 2008.
- Tom Schrijvers and Martin Sulzmann. Restoring confluence for functional dependencies. In Draft Proc. 9th Symp. Trends in Funct. Programming, Nijmegen, pages 22-36, May 2008. Radbound University. Keyword(s): type systems, confluence.
- Tom Schrijvers and Martin Sulzmann. Transactions in Constraint Handling Rules. In M. Garcìa de la Banda and E. Pontelli, editors, ICLP08l, volume 5366 of LNCS, pages 516-530, December 2008. SV. [doi:10.1007/978-3-540-89982-2_44] Keyword(s): parallelism.
- Martin Sulzmann and Duc Hiep Chu. A Rule-Based Specification of Software Transactional Memory. In M. Hanus, editor, LOPSTR08prel, 2008. [WWW] [PDF] Keyword(s): parallelism.
- Martin Sulzmann and Edmund S.L. Lam. Parallel execution of multi-set constraint rewrite rules. In S. Antoy, editor, PPDP08l, pages 20-31, July 2008. ACM. [doi:10.1145/1389449.1389453] Keyword(s): parallelism.
- Martin Sulzmann, Edmund S.L. Lam, and Peter Van Weert. Actors with Multi-Headed Message Receive Patterns. In D. Lea and G. Zavattaro, editors, COORDINATION '08: Proc. 10th Intl. Conf. Coordination Models and Languages, number 5052 of LNCS, pages 315-330, May 2008. SV. [doi:10.1007/978-3-540-68265-3_20] Keyword(s): parallelism.
- Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann. Observable Confluence for Constraint Handling Rules. In V. Dahl and I. Niemelä, editors, ICLP07l, volume 4670 of LNCS, pages 224-239, September 2007. SV. [doi:10.1007/978-3-540-74610-2_16] Keyword(s): confluence.
- Edmund S.L. Lam and Martin Sulzmann. A Concurrent Constraint Handling Rules Semantics and its Implementation with Software Transactional Memory. In DAMP '07: Proc. ACM SIGPLAN Workshop on Declarative Aspects of Multicore Programming, January 2007. ACM. [WWW] Keyword(s): parallelism.
- Martin Sulzmann and Edmund S.L. Lam. Compiling Constraint Handling Rules with Lazy and Concurrent Search Techniques. In K. Djelloul, G. J. Duck, and M. Sulzmann, editors, CHR07l, pages 139-149, September 2007. [PDF] Keyword(s): CHR 2007, parallelism, CHR 2007, CHR 2007.
- Martin Sulzmann and Edmund S.L. Lam. Haskell - Join - Rules. In Olaf Chitil, editor, IFL '07: 19th Intl. Symp. Implementation and Application of Functional Languages, pages 195-210, September 2007. Keyword(s): related formalisms.
- Martin Sulzmann and Meng Wang. Aspect-oriented programming with type classes. In Proceedings of the 6th workshop on Foundations of aspect-oriented languages, FOAL '07, pages 65-74, 2007. ACM. ISBN: 978-1-59593-671-4. [WWW] Keyword(s): type systems.
- Gregory J. Duck, Peter J. Stuckey, and Martin Sulzmann. Observable Confluence for Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 61-76, July 2006. KULCW, Technical report CW 452. [POSTSCRIPT] Keyword(s): CHR 2006, confluence, CHR 2006, CHR 2006.
- Edmund S.L. Lam and Martin Sulzmann. Towards Agent Programming in CHR. In T. Schrijvers and Th. Frühwirth, editors, CHR06l, pages 17-31, July 2006. KULCW, Technical report CW 452. [PDF] Keyword(s): linear logic, CHR 2006, CHR 2006, CHR 2006.
- Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. Type Processing by Constraint Reasoning. In N. Kobayashi, editor, APLAS '06: Proc. 4th Asian Symp. on Programming Languages and Systems, volume 4279 of LNCS, pages 1-25, November 2006. SV. Note: Invited talk. ISBN: 3-540-48937-1. Keyword(s): type systems.
- Martin Sulzmann, Tom Schrijvers, and Peter J. Stuckey. Principal Type Inference for GHC-Style Multi-parameter Type Classes. In N. Kobayashi, editor, APLAS '06: Proc. 4th Asian Symp. on Programming Languages and Systems, volume 4279 of LNCS, pages 26-43, November 2006. SV. ISBN: 3-540-48937-1. Keyword(s): type systems.
- Martin Sulzmann and Meng Wang. Modular generic programming with extensible superclasses. In Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming, WGP '06, pages 55-65, 2006. ACM. ISBN: 1-59593-492-8. [WWW] Keyword(s): type systems.
- Martin Sulzmann, Jeremy Wazny, and Peter J. Stuckey. A Framework for Extended Algebraic Data Types. In FLOPS '06: Proc. 8th Intl. Symp. Functional and Logic Programming, volume 3945 of LNCS, pages 47-64, 2006. SV. [doi:10.1007/11737414_5] Keyword(s): type systems.
- Martin Sulzmann. Chameleon: Systematic Type System Design via Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 1, 2005. KULCW, Technical report CW 421. Note: Invited talk. Keyword(s): type systems, CHR 2005, CHR 2005.
- Martin Sulzmann, Jeremy Wazny, and Peter J. Stuckey. Constraint Abduction and Constraint Handling Rules. In T. Schrijvers and Th. Frühwirth, editors, CHR05l, pages 63-78, 2005. KULCW, Technical report CW 421. [POSTSCRIPT] Keyword(s): CHR 2005, abduction, CHR 2005, CHR 2005.
- Gregory J. Duck, Simon Peyton-Jones, Peter J. Stuckey, and Martin Sulzmann. Sound and Decidable Type Inference for Functional Dependencies. In D. A. Schmidt, editor, ESOP '04: Proc. 13th European Symp. on Programming, volume 2986 of LNCS, pages 49-63, mar/apr 2004. SV. Keyword(s): type systems.
- Peter J. Stuckey, Martin Sulzmann, and Jeremy Wazny. The Chameleon System. In Th. Frühwirth and M. Meister, editors, CHR04l, pages 13-32, May 2004. [WWW] [POSTSCRIPT] Keyword(s): CHR 2004, type systems, CHR 2004, CHR 2004.
Internal reports
- Martin Sulzmann. TIE: A CHR-based Type Inference Engine. Technical report TR2001/27, University of Melbourne, deptcw, 2001. Keyword(s): type systems.
Miscellaneous
- Wei-Ngan Chin, Martin Sulzmann, and Meng Wang. A Type-Safe Embedding of Constraint Handling Rules into Haskell. Honors Thesis, School of Computing, National University of Singapore, 2003. Keyword(s): type systems, implementation.
BACK TO INDEX