Publications

of Michael Hanus

Books and proceedings

  1. Michael Hanus, editor. PPDP11l, July 2011. ACM.
  2. M. Hanus, editor. LOPSTR08l, volume 5438 of LNCS, 2009. SV. [doi:10.1007/978-3-642-00515-2]
  3. M. Hanus, editor. LOPSTR08prel, 2008. [WWW] [PDF]
  4. M. Hanus, editor. WFLP '01: Proc. 10th Intl. Workshop on Functional and (Constraint) Logic Programming, Selected Papers, volume 64 of ENTCS, November 2002. Elsevier.

Articles in journal, book chapters

  1. Michael Hanus. CHR(Curry): Interpretation and Compilation of Constraint Handling Rules in Curry, pages 74-89. Springer International Publishing, Cham, 2015. ISBN: 978-3-319-19686-2. [WWW] [doi:10.1007/978-3-319-19686-2_6]

Conference articles

  1. Michael Hanus. Adding Constraint Handling Rules to Curry. In M. Fink, H. Tompits, and S. Woltran, editors, WLP '06: Proc. 20th Workshop on Logic Programming, T.U.Wien, Austria, INFSYS Research report 1843-06-02, pages 81-90, February 2006. Keyword(s): implementation.

BACK TO INDEX