The Epic Verse calculus: a core calculus for functional logic programming

7 points | by fanf2 a day ago