AG Programmiersprachen und Übersetzerkonstruktion

Veröffentlichungen

2014

A Partial Evaluator for Curry

Michael Hanus, Björn Peemöller
Proc. of the 23rd International Workshop on Functional and (Constraint) Logic Programming (WFLP 2014), 2014

Integration of Finite Domain Constraints in KiCS2

Michael Hanus, Björn Peemöller, Jan Tikovsky
Proc. of the 7th Working Conference on Programming Languages (ATPS 2014), 2014

2013

Implementing Equational Constraints in a Functional Language

Bernd Braßel, Michael Hanus,  Björn Peemöller, Fabian Reck
Proc. of the 15th International Symposium on Practical Aspects of Declarative Languages (PADL 2013), 2013

2012

Search Strategies for Functional Logic Programming

Michael Hanus, Björn Peemöller, Fabian Reck
Proc. of the 5th Working Conference on Programming Languages (ATPS 2012), 2012

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