S simon.peytonjones.org Verse Calculus: a Core Calculus for Functional Logic Programming [pdf] 14 points lispybanana 3 years ago 3 comments