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-26 14:47]
mh
start [2020-10-16 11:20]
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
Line 25: 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