2011
Implementing Equational Constraints in a Functional Language
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
Proc.
of the 19th International Conference on Applications of Declarative
Programming and Knowledge Management (INAP 2011) and the 25th Workshop
on Logic Programming (WLP 2011), 2011
KiCS2: A New Compiler from Curry to Haskell
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
Proc. of the 20th International Workshop on Functional and (Constraint) Logic Programming (WFLP 2011), 2011