Checking the semantic equivalence of operations is an important task in
...
FlatCurry is a well-established intermediate representation of Curry pro...
Bubbling is a run-time graph transformation studied for the execution of...
Set functions are a feature of functional logic programming to encapsula...
share