10 citations · 21 across the 8 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.PL2018★ 1 cited
Making Bubbling Practical
Sergio Antoy, Steven Libby
Bubbling is a run-time graph transformation studied for the execution of non-deterministic steps in functional logic computations. This transformation has been proven correct, but…
cs.PL2018
Synthesizing Set Functions
Sergio Antoy, Michael Hanus, Finn Teegen
Set functions are a feature of functional logic programming to encapsulate all results of a non-deterministic computation in a single data structure. Given a function of a func…