Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming Posted by gmatejka on Sunday September 03, 2023 @10:56AM from the dl.acm.org dept. https://dl.acm.org/doi/pdf/10.1145/3607845 ( 1 comment | 3 points | on HN )