The Verse Calculus: a core calculus for functional logic programming

2 points by felixr 2 years ago | 0 comments