Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | |||
|
research:papers [2017-02-24 14:13] mh [Surveys] |
research:papers [2017-02-24 14:18] (current) mh [Implementations] |
||
|---|---|---|---|
| Line 102: | Line 102: | ||
| ===== Implementations ===== | ===== Implementations ===== | ||
| + | |||
| + | [[https://arxiv.org/abs/1608.04016 | A New Functional-Logic Compiler for Curry: Sprite]] | ||
| + | (//LOPSTR 2016//)\\ | ||
| + | This paper describes a new native code compiler for Curry which implements a fair evaluation | ||
| + | of non-deterministic branches in a computation. | ||
| [[http://dx.doi.org/10.1007/978-3-642-45284-0_9 | Implementing Equational Constraints in a Functional Language]] | [[http://dx.doi.org/10.1007/978-3-642-45284-0_9 | Implementing Equational Constraints in a Functional Language]] | ||
