Publications

of Jeremy Wazny

Thesis

  1. Jeremy Wazny. Type inference and type error diagnosis for Hindley/Milner with extensions. PhD thesis, University of Melbourne, Australia, 2006. Keyword(s): type systems.

Conference articles

  1. 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.
  2. 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.
  3. 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.
  4. 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.

BACK TO INDEX