research
∙
05/13/2022
From Logic to Functional Logic Programs
Logic programming is a flexible programming paradigm due to the use of p...
share
research
∙
09/02/2020
Pre-Proceedings of the 28th International Workshop on Functional and Logic Programming (WFLP 2020)
This volume constitutes the pre-proceedings of the 28th International Wo...
research
∙
08/27/2020
Memoized Pull-Tabbing for Functional Logic Programming
Pull-tabbing is an evaluation technique for functional logic programs wh...
research
∙
09/20/2019
Equivalence Checking of Non-deterministic Operations
Checking the semantic equivalence of operations is an important task in ...
research
∙
08/29/2019
ICurry
FlatCurry is a well-established intermediate representation of Curry pro...
research
∙
08/28/2019
Adding Data to Curry
Functional logic languages can solve equations over user-defined data an...
research
∙
08/22/2018
Synthesizing Set Functions
Set functions are a feature of functional logic programming to encapsula...
research
∙
09/14/2017