Domain-Theoretic Semantics for Functional Logic Programming. - Eddie Jones; Samson Main; Celia Mengyue Li; Jonathan Marriott; G. A. Kavvos (Proc. ACM Program. Lang., 2026)