research
∙
09/22/2020
Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions
In this research summary we present our recent work on implementing func...
share
research
∙
08/27/2020
Memoized Pull-Tabbing for Functional Logic Programming
Pull-tabbing is an evaluation technique for functional logic programs wh...
research
∙
08/28/2019
Adding Data to Curry
Functional logic languages can solve equations over user-defined data an...
research
∙
08/27/2019
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming
In this paper, we propose an explicit, non-strict representation of sear...
research
∙
05/17/2019
Implementing a Library for Probabilistic Programming using Non-strict Non-determinism
This paper presents PFLP, a library for probabilistic programming in the...
research
∙
08/22/2018
Synthesizing Set Functions
Set functions are a feature of functional logic programming to encapsula...
research
∙
05/21/2018
