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:47] mh |
start [2013-09-05 10:58] mh |
||
|---|---|---|---|
| Line 4: | Line 4: | ||
| ==== 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/GanzingerFestschrift.html | newer survey]] on | ||
| + | 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 | ||
