Fabian Skrlac

According to our database, Fabian Skrlac authored at least 8 papers between 2009 and 2014.

Collaborative distances:

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

2014

A modular and generic analysis server system for functional logic programs.

Michael Hanus, Fabian Skrlac

Proceedings of the ACM SIGPLAN 2014 workshop on Partial evaluation and program manipulation, 2014

2013

A Generic Analysis Server System for Functional Logic Programs.

Michael Hanus, Fabian Reck

CoRR, 2013

A semantics for weakly encapsulated search in functional logic programs.

Jan Christiansen, Michael Hanus, Fabian Reck, Daniel Seidel

Proceedings of the 15th International Symposium on Principles and Practice of Declarative Programming, 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

2010

Transforming Functional Logic Programs into Monadic Functional Programs.

Bernd Braßel, Sebastian Fischer, Michael Hanus, Fabian Reck

Proceedings of the Functional and Constraint Logic Programming, 2010

2009

Towards a Parallel Search for Solutions of Non-deterministic Computations.

Fabian Reck, Sebastian Fischer

Proceedings of the 39. Jahrestagung der Gesellschaft für Informatik, Im Focus das Leben, INFORMATIK 2009, Lübeck, Germany, September 28, 2009