Björn Peemöller

According to our database, Björn Peemöller authored at least 6 papers between 2011 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2017

Normalization and Partial Evaluation of Functional Logic Programs.

Björn Peemöller

PhD thesis, 2017

2014

A Partial Evaluator for Curry.

Michael Hanus, Björn Peemöller

Proceedings of the 28th Workshop on (Constraint) Logic Programming (WLP 2014) Proceedings of the 23rd International Workshop on Functional and (Constraint) Logic Programming, 2014

Integration of Finite Domain Constraints in KiCS2.

Michael Hanus, Björn Peemöller, Jan Rasmus Tikovsky

Proceedings of the Gemeinsamer Tagungsband der Workshops der Tagung Software Engineering 2014, 2014

2013

Implementing Equational Constraints in a Functional Language.

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck

Proceedings of the Practical Aspects of Declarative Languages, 2013

2012

Search strategies for functional logic programming.

Michael Hanus, Björn Peemöller, Fabian Reck

Proceedings of the Software Engineering 2012 - Workshopband, Fachtagung des GI-Fachbereichs Softwaretechnik, 27. Februar, 2012

2011

KiCS2: A New Compiler from Curry to Haskell.

Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck

Proceedings of the Functional and Constraint Logic Programming, 2011