Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Last revision Both sides next revision | ||
research:papers [2017-02-24 14:11] mh [Implementations] |
research:papers [2017-02-24 14:13] mh [Surveys] |
||
---|---|---|---|
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 109: | Line 108: | ||
and functional patterns in KiCS2. | 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]] | Search Strategies for Functional Logic Programming]] | ||
(//ATPS 2012//)\\ | (//ATPS 2012//)\\ | ||
Line 116: | Line 115: | ||
and compares their efficiency by some benchmarks. | 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]] | KiCS2: A New Compiler from Curry to Haskell]] | ||
(//WFLP 2011//)\\ | (//WFLP 2011//)\\ |