Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmingdl.acm.org4 pointsgmatejka3 years ago