Porting IgorII from Maude to Haskell

Martin Hofmann 0008, Emanuel Kitzelmann, Ute Schmid. Porting IgorII from Maude to Haskell. In Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer, editors, Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers. Volume 5812 of Lecture Notes in Computer Science, pages 140-158, Springer, 2009. [doi]

Abstract

Abstract is missing.