The Verse Calculus: a core calculus for functional logic programming

2 points| felixr | 3 years ago |simon.peytonjones.org