Björn Peemöller

KiCS2: A New Compiler from Curry to Haskell

Michael Hanus, Bernd Brassel, Björn Peemöller, 2011, WFLP.

Implementing Equational Constraints in a Functional Language pdf

Michael Hanus, Bernd Brassel, Björn Peemöller, 2011, PADL.

Integration of Finite Domain Constraints in KiCS2

Michael Hanus, Björn Peemöller, Jan Rasmus Tikovsky, 2014, Software Engineering.

A Partial Evaluator for Curry

Michael Hanus, Björn Peemöller, M. Hanus, 2014, WLP/WFLP.

Search strategies for functional logic programming

Michael Hanus, Björn Peemöller, Fabian Reck, 2012, Software Engineering.