Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Last revision Both sides next revision | ||
|
research:papers [2017-02-24 14:12] 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, | ||
