10 citations · 21 across the 8 of their papers we have counts for
Showing 2016 · cs.PLShow all
2 papers · 2 filters
cs.PL2016
A New Functional-Logic Compiler for Curry: Sprite
Sergio Antoy, Andy Jost
We introduce a new native code compiler for Curry codenamed Sprite. Sprite is based on the Fair Scheme, a compilation strategy that provides instructions for transforming declarati…
cs.PL2016★ 5 cited
Default Rules for Curry
Sergio Antoy, Michael Hanus
In functional logic programs, rules are applicable independently of textual order, i.e., any rule can potentially be used to evaluate an expression. This is similar to logic langua…