Differences

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

--- research:papers [2017-02-24 14:11]
mh [Implementations]
+++ research:papers [2017-02-24 14:18]
mh [Implementations]
@@ Line 8: / Line 8: @@
 ===== 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//)\\
 This papers surveys general features of functional logic languages,
@@ Line 103: / Line 102: @@
 ===== 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]]
@@ Line 109: / Line 113: @@
 and functional patterns in KiCS2.
-[[http://www-ps.informatik.uni-kiel.de/~mh/papers/ATPS12.html |
+[[http://www.informatik.uni-kiel.de/~mh/papers/ATPS12.html |
 Search Strategies for Functional Logic Programming]]
 (//ATPS 2012//)\\
@@ Line 116: / Line 120: @@
 and compares their efficiency by some benchmarks.
-[[http://www-ps.informatik.uni-kiel.de/~mh/papers/WFLP11_KiCS2.html |
+[[http://www.informatik.uni-kiel.de/~mh/papers/WFLP11_KiCS2.html |
 KiCS2: A New Compiler from Curry to Haskell]]
 (//WFLP 2011//)\\

/srv/dokuwiki/currywiki/data/pages/research/papers.txt · Last modified: 2017-02-24 14:18 by mh

Back to top