Differences

This shows you the differences between two versions of the page.

Link to this comparison view

Both sides previous revision Previous revision
Next revision
Previous revision
Last revision Both sides next revision
start [2010-03-27 17:46]
mh
start [2020-10-16 11:20]
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}}
  
  
/srv/dokuwiki/currywiki/data/pages/start.txt · Last modified: 2020-10-16 11:22 by mh
Back to top
CC Attribution-Noncommercial-Share Alike 4.0 International
Driven by DokuWiki Recent changes RSS feed Valid CSS Valid XHTML 1.0