4 citations · 4 across the 3 of their papers we have counts for
8 papers
A Monadic Implementation of Functional Logic Programs
Michael Hanus, Kai-Oliver Prott, Finn Teegen
Functional logic languages are a high-level approach to programming by combining the most important declarative features. They abstract from small-step operational details so that…
Research Summary on Implementing Functional Patterns by Synthesizing Inverse Functions
Finn Teegen
In this research summary we present our recent work on implementing functional patterns with inverse functions in the lazy functional-logic programming language Curry. Our goal is…
Memoized Pull-Tabbing for Functional Logic Programming
Michael Hanus, Finn Teegen
Pull-tabbing is an evaluation technique for functional logic programs which computes all non-deterministic results in a single graph structure. Pull-tab steps are local graph trans…
Adding Data to Curry
Michael Hanus, Finn Teegen
Functional logic languages can solve equations over user-defined data and functions. Thus, the definition of an appropriate meaning of equality has a long history in these language…
Structured Traversal of Search Trees in Constraint-logic Object-oriented Programming
Jan C. Dageförde, Finn Teegen
In this paper, we propose an explicit, non-strict representation of search trees in constraint-logic object-oriented programming. Our search tree representation includes both the n…
Implementing a Library for Probabilistic Programming using Non-strict Non-determinism
Sandra Dylus, Jan Christiansen, Finn Teegen
This paper presents PFLP, a library for probabilistic programming in the functional logic programming language Curry. It demonstrates how the concepts of a functional logic program…