4 ms·Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming4 points by gmatejka 3y agoturtleyacht 3y ago[pdf]