<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Strict//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-strict.dtd"><html xmlns="http://www.w3.org/1999/xhtml"><head><title>CDuce: Tutorial</title><meta http-equiv="Content-Type" content="text/html; charset=iso-8859-1"/><link href="cduce.css" type="text/css" rel="stylesheet"/></head><body style="margin: 0; padding : 0;"><table width="100%" border="0" cellspacing="10" cellpadding="0"><tr><td valign="top" style="width:20%;" align="left"><div class="leftbar" id="leftbar"><div class="smallbox"><p> This tutorial is a step-by-step introduction to CDuce. </p><ul><li><a href="tutorial_getting_started.html">Getting started</a></li><li><a href="tutorial_first_functions.html">First functions</a></li><li><a href="tutorial_overloading.html">Overloading</a></li><li><a href="tutorial_patterns.html">Patterns</a></li><li><a href="tutorial_errors.html">Error messages and Warnings</a></li><li><a href="tutorial_references.html">References</a></li><li><a href="tutorial_queries.html">Queries</a></li><li><a href="tutorial_higherorder.html">Higher-order functions</a></li><li><a href="tutorial_exercises.html">Exercises</a></li></ul><p>See also:</p><ul><li><a href="index.html">CDuce: documentation</a></li><li><a href="memento.html">Quick reference</a></li><li><a href="manual.html">User's manual</a></li></ul></div></div></td><td><h1>Tutorial</h1><div class="mainpanel"><div class="smallbox"><p><a href="index.html">CDuce: documentation</a>: Tutorial</p><p><a href="index.html"><img class="icon" width="16" alt="Previous page:" src="img/left.gif" height="16"/> CDuce: documentation</a> <a href="tutorial_getting_started.html"><img class="icon" width="16" alt="Next page:" src="img/right.gif" height="16"/> Getting started</a></p></div><div><h2><a name="tut">Tutorial Index</a></h2><p><b>This tutorial is under construction!</b></p><p>Sections:</p><ul><li><a href="tutorial_getting_started.html">Getting started</a><ul><li><a href="tutorial_getting_started.html#concepts">Key concepts</a></li><li><a href="tutorial_getting_started.html#xmldoc">XML documents</a></li><li><a href="tutorial_getting_started.html#loading">Loading XML files</a></li><li><a href="tutorial_getting_started.html#type_decl">Type declarations</a></li></ul></li><li><a href="tutorial_first_functions.html">First functions</a><ul><li><a href="tutorial_first_functions.html#t2">First functions</a></li><li><a href="tutorial_first_functions.html#re">Regular Expressions</a></li></ul></li><li><a href="tutorial_overloading.html">Overloading</a><ul><li><a href="tutorial_overloading.html#val">Overloaded functions</a></li></ul></li><li><a href="tutorial_patterns.html">Patterns</a><ul><li><a href="tutorial_patterns.html#key">Key concepts</a></li><li><a href="tutorial_patterns.html#record">Pair and Record Patterns</a></li><li><a href="tutorial_patterns.html#seq">Sequence patterns</a></li><li><a href="tutorial_patterns.html#xml">XML elements and attributes</a></li><li><a href="tutorial_patterns.html#optatrr">Handling optional attributes</a></li><li><a href="tutorial_patterns.html#recpat">Recursive patterns</a></li><li><a href="tutorial_patterns.html#pre">Compiling regular expression patterns</a></li></ul></li><li><a href="tutorial_errors.html">Error messages and Warnings</a><ul><li><a href="tutorial_errors.html#p1">Key concepts</a></li><li><a href="tutorial_errors.html#emptyty">Empty types</a></li><li><a href="tutorial_errors.html#pr">Unused branches</a></li></ul></li><li><a href="tutorial_references.html">References</a><ul><li><a href="tutorial_references.html#introduction">Introduction</a></li><li><a href="tutorial_references.html#adv">Advanced programming</a></li><li><a href="tutorial_references.html#empty">'ref Empty' is not Empty?!</a></li></ul></li><li><a href="tutorial_queries.html">Queries</a><ul><li><a href="tutorial_queries.html#sel">Select from where</a></li><li><a href="tutorial_queries.html#xpath">XPath-like expressions</a></li><li><a href="tutorial_queries.html#exsel">Examples</a></li></ul></li><li><a href="tutorial_higherorder.html">Higher-order functions</a><ul><li><a href="tutorial_higherorder.html#intro">Introduction</a></li><li><a href="tutorial_higherorder.html#comp">A complex example</a></li></ul></li><li><a href="tutorial_exercises.html">Exercises</a><ul><li><a href="tutorial_exercises.html#treenav">Tree navigation</a></li><li><a href="tutorial_exercises.html#pat">Patterns</a></li><li><a href="tutorial_exercises.html#solution">Solutions</a></li></ul></li></ul></div><div class="meta"><p><a href="sitemap.html">Site map</a></p></div><div class="smallbox"><p><a href="index.html">CDuce: documentation</a>: Tutorial</p><p><a href="index.html"><img class="icon" width="16" alt="Previous page:" src="img/left.gif" height="16"/> CDuce: documentation</a> <a href="tutorial_getting_started.html"><img class="icon" width="16" alt="Next page:" src="img/right.gif" height="16"/> Getting started</a></p></div></div></td></tr></table></body></html>
