« Back
The Epic Verse calculus: a core calculus for functional logic programming
simon.peytonjones.org
Submitted by fanf2 a day ago