Other Documentation

Tutorials and Presentations

  • A recent overview paper on Ciao (PDF)

  • Some tutorial slides on Ciao features, relatively old (PDF, HTML).

  • Some tutorial slides on LPdoc (PDF, HTML).

  • Some recent introductory slides on Ciao and CiaoPP (PDF)

  • A brief tutorial on CiaoPP (PDF).

Publications

The Ciao System incorporates many years of results in programming languages research. See our list of publications available on-line and their references.