4 ms·
The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]
- 082349872349872 4y agonice rethink of non-determinism for confluence, excellent (as could be predicted from the author list?) use of literature from the prior century, and ... the cherry on top: includes discussions of attempts that didn't work, and alternatives they believe probably would also work.