Björn Peemöller

Publication Activity (10 Years)

Years Active: 2011-2014
Publications (10 Years): 0

Top Topics

Search Strategies

Arc Consistency

Functional Language

Constraint Solver

Top Venues

Software Engineering (Workshops)

University of Kiel, Germany (PHD)

Education History

University of Kiel, Germany

PHD

Publications

Michael Hanus, Björn Peemöller
A Partial Evaluator for Curry. WLP/WFLP (2014)
Michael Hanus, Björn Peemöller, Jan Rasmus Tikovsky
Integration of Finite Domain Constraints in KiCS2. Software Engineering (Workshops) (2014)
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
Implementing Equational Constraints in a Functional Language. PADL (2013)
Michael Hanus, Björn Peemöller, Fabian Reck
Search strategies for functional logic programming. Software Engineering (Workshops) (2012)
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
Implementing Equational Constraints in a Functional Language CoRR (2011)
Bernd Braßel, Michael Hanus, Björn Peemöller, Fabian Reck
KiCS2: A New Compiler from Curry to Haskell. WFLP (2011)