S simon.peytonjones.org The Verse Calculus: A Core Calculus for Functional Logic Programming [pdf] 50 points droideqa 1 year ago 19 comments