Super HN

New Show
   The Epic Verse calculus: a core calculus for functional logic programming (simon.peytonjones.org)