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.