Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmingdl.acm.org 4gmatejka3y1 comment