3 ms·The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf]2 points by harporoeder 4y ago