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