Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision Next revision Both sides next revision | ||
start [2010-03-31 09:33] mh |
start [2013-09-05 10:58] mh |
||
---|---|---|---|
Line 9: | Line 9: | ||
"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/GanzingerFestschrift.html | newer survey]] on |
functional logic programming. | functional logic programming. | ||
- | There is also a recent | + | There is also a short |
- | [[http://cacm.acm.org/magazines/2010/4/81495-functional-logic-programming | | + | [[http://doi.acm.org/10.1145/1721654.1721675 | review on functional logic programming]] |
- | review on functional logic programming]] | + | |
which provides a good introduction into the basic ideas and features of functional logic programming | which provides a good introduction into the basic ideas and features of functional logic programming | ||
and Curry. | and Curry. |