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-31 18:15]
mh
start [2020-10-16 11:20]
mh
Line 9: Line 9:
 "​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 recent+There is also a short
 [[http://​doi.acm.org/​10.1145/​1721654.1721675 | review on functional logic programming]] [[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 which provides a good introduction into the basic ideas and features of functional logic programming
Line 34: 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