Differences

This shows you the differences between two versions of the page.

Link to this comparison view

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]]
/srv/dokuwiki/currywiki/data/pages/research/papers.txt · Last modified: 2017-02-24 14:18 by mh
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0