Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
start [2010-03-27 17:46] mh |
start [2010-03-31 09:33] mh |
||
|---|---|---|---|
| Line 7: | Line 7: | ||
| [[http://en.wikipedia.org/wiki/Functional_programming | functional programming]] and [[http://en.wikipedia.org/wiki/Logic_programming | logic programming]]. Moreover, it also covers the most important operational principles developed in the area of integrated | [[http://en.wikipedia.org/wiki/Functional_programming | functional programming]] and [[http://en.wikipedia.org/wiki/Logic_programming | logic programming]]. Moreover, it also covers the most important operational principles developed in the area of integrated | ||
| [[http://www.informatik.uni-kiel.de/~mh/FLP | functional logic languages]]: | [[http://www.informatik.uni-kiel.de/~mh/FLP | functional logic languages]]: | ||
| - | "residuation" and "narrowing" (there is an | + | "residuation" and "narrowing". There is an |
| [[http://www.informatik.uni-kiel.de/~mh/publications/papers/JLP94.html | older survey]] and a | [[http://www.informatik.uni-kiel.de/~mh/publications/papers/JLP94.html | older survey]] and a | ||
| [[http://www.informatik.uni-kiel.de/~mh/papers/ICLP07.html | newer survey]] on | [[http://www.informatik.uni-kiel.de/~mh/papers/ICLP07.html | newer survey]] on | ||
| - | functional logic programming). | + | functional logic programming. |
| + | There is also a recent | ||
| + | [[http://cacm.acm.org/magazines/2010/4/81495-functional-logic-programming | | ||
| + | review on functional logic programming]] | ||
| + | which provides a good introduction into the basic ideas and features of functional logic programming | ||
| + | and Curry. | ||
| Curry combines in a seamless way features from functional programming | Curry combines in a seamless way features from functional programming | ||
