Differences
This shows you the differences between two versions of the page.
Both sides previous revision Previous revision Next revision | Previous revision | ||
start [2010-03-27 17:46] mh |
start [2020-10-16 11:22] (current) 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/GanzingerFestschrift.html | newer survey]] on |
- | functional logic programming). | + | functional logic programming. |
+ | There is also a short | ||
+ | [[http://doi.acm.org/10.1145/1721654.1721675 | 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 | ||
Line 30: | Line 34: | ||
[[documentation:features | Curry's features]] | [[documentation:features | Curry's features]] | ||
or a [[documentation:tutorial | tutorial on Curry]]. | or a [[documentation:tutorial | tutorial on Curry]]. | ||
+ | |||
+ | This is the main page of the Curry Wiki with collected information about Curry. | ||
+ | If you want to contribute something, please write to ''www_AT_curry-lang.org''. | ||
+ | There is also the [[http://curry-lang.org | homepage of Curry ]] | ||
+ | intended as a general entry point. | ||
{{ logos:curry_8h.png?200}} | {{ logos:curry_8h.png?200}} | ||