Learn More about Curry

Here are a few links to further resources related to Curry.

Wikipedia entry for Curry

A short review on functional logic programming (appreared in CACM)

A longer survey on functional logic programming and Curry

Functional Logic Design Patterns A catalog of design patterns related to functional logic programming.

Example programs (executable in a web browser) available in Smap (an interactive web-based source code editor)

Example programs A collection of (small) Curry programs that are distributed with PAKCS

Base libraries A collection of libraries for Curry that are contained in Curry distributions like PAKCS, KiCS2, or Curry2Go

Packages A collection of packages available by the Curry Package Manager (CPM)

FlatCurry An intermediate representation for Curry programs which is used in various meta-programming tools for Curry, like compilers, program analyzers, verification tools etc.