Home Gudgeon and gist Lambda the Ultimate - Programming Languages Weblog The Verse Calculus: a Core Calculus for Functional Logic Programming