Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
research:papers [2017-02-24 14:12] mh [Implementations] |
research:papers [2017-02-24 14:18] mh [Implementations] |
||
---|---|---|---|
Line 8: | Line 8: | ||
===== Surveys ===== | ===== Surveys ===== | ||
- | [[http://www.informatik.uni-kiel.de/~mh/papers/IGanzingerFestschrift.html | | + | [[http://dx.doi.org/10.1007/978-3-642-37651-1_6 | Functional Logic Programming: From Theory to Curry ]] |
- | Functional Logic Programming: From Theory to Curry ]] | + | |
(//Programming Logics - Essays in Memory of Harald Ganzinger//)\\ | (//Programming Logics - Essays in Memory of Harald Ganzinger//)\\ | ||
This papers surveys general features of functional logic languages, | This papers surveys general features of functional logic languages, | ||
Line 103: | 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]] |