Hacker News new | ask | show | jobs
The Verse Calculus: a core calculus for functional logic programming (simon.peytonjones.org)
2 points by felixr 1283 days ago