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
start [2010-03-27 17:46]
mh
start [2020-10-16 11:22]
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