The Verse Calculus: a core calculus for functional logic programming

simon.peytonjones.org