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.

Normalization and Partial Evaluation of Functional Logic Programs

Björn Peemöller, 2017 .

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.

Integration of Finite Domain Constraints in KiCS2

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