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-26 14:44] mh Links to documentation:curry_report changed to documentation:report |
start [2010-03-27 17:46] mh |
||
---|---|---|---|
Line 1: | Line 1: | ||
- | {{curry_2.png?200 }} | + | {{curry_2.png }} |
==== A Truly Integrated Functional Logic Language ==== | ==== A Truly Integrated Functional Logic Language ==== | ||
- | Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely [[http://www.cs.nott.ac.uk/Department/Staff/gmh/faq.html | functional programming]] and [[http://www.comlab.ox.ac.uk/archive/logic-prog.html | 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]]: "residuation" and "narrowing" (there is an [[http://www.informatik.uni-kiel.de/~mh/publications/papers/JLP94.html | older survey]] and a | + | Curry is a universal programming language aiming to amalgamate the most important declarative programming paradigms, namely |
- | [[http://www.informatik.uni-kiel.de/~mh/papers/ICLP07.html | newer survey]] on functional logic programming). | + | [[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]]: | ||
+ | "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/papers/ICLP07.html | newer survey]] on | ||
+ | functional logic programming). | ||
Curry combines in a seamless way features from functional programming | Curry combines in a seamless way features from functional programming |