Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming #1 Post by gmatejka » Sun, Sep 03, 2023, 2:56 PM UTC Verse Calculus: A Core Calculus for Deterministic Functional Logic Programmingdl.acm.org
Re: Verse Calculus: A Core Calculus for Deterministic Functional Logic Programming #2 Post by turtleyacht » Sun, Sep 03, 2023, 2:56 PM UTC [pdf]