Sitemap

Sitemap

Pages of CDuce web site are organized as a tree. A CDuce script is in charge of generating all the pages from an XML description. Thanks to CDuce type system, we know that the produced pages are valid for XHTML 1.0.

• [CDuce]
  • Latest News
  • What is CDuce ?
  • CDuce: the research project
  • Other pages
  • [Download]
    • Sources tarballs
    • Packages
    • SVN status
    • Side products
  • [Documentation]
    • Online documentation
    • [Papers and talks]
      • Papers
      • Slides
    • [Design and features]
      • Design and features
      • XDuce and CDuce
    • [Advanced examples]
      • Advanced examples
      • Our canonical example
      • Datatypes + first-class functions
      • First-class functions and XML together
      • CDuce quine
      • The script that generates this site
    • [Tips and Tricks]
      • Poor-man ML-like polymorphism
    • [Applications]
    • [Contributions]
      • Slides, presentations
      • CDuce programs
    • [Benchmarks]
      • Methodology
      • CDuce vs. XSLT
      • CDuce vs. XDuce
      • CDuce vs. XQuery
    • [Tutorial]
      • Tutorial Index
      • [Getting started]
        • Key concepts
        • XML documents
        • Loading XML files
        • Type declarations
      • [First functions]
        • First functions
        • Regular Expressions
      • [Overloading]
        • Overloaded functions
      • [Patterns]
        • Key concepts
        • Pair and Record Patterns
        • Sequence patterns
        • XML elements and attributes
        • Handling optional attributes
        • Recursive patterns
        • Compiling regular expression patterns
      • [Error messages and Warnings]
        • Key concepts
        • Empty types
        • Unused branches
      • [References]
        • Introduction
        • Advanced programming
        • 'ref Empty' is not Empty?!
      • [Queries]
        • Select from where
        • XPath-like expressions
        • Examples
      • [Higher-order functions]
        • Introduction
        • A complex example
      • [Exercises]
        • Tree navigation
        • Patterns
        • Solutions
    • [User's manual]
      • Table of Contents
      • [Compiler/interpreter/toplevel]
        • Command-line
        • Scripting
        • Phrases
        • Toplevel
        • Lexical entities
      • [Types and patterns]
        • Types and patterns
        • Capture variables and default patterns
        • Boolean connectives
        • Recursive types and patterns
        • Scalar types
        • Pairs
        • Sequences
        • Strings
        • Records
        • XML elements
        • Functions
        • References
        • OCaml abstract types
        • Complete syntax
      • [Expressions]
        • Value constructors expressions
        • Pattern matching
        • Functions
        • Exceptions
        • Record operators
        • Arithmetic operators
        • Generic comparisons, if-then-else
        • Upward coercions
        • Sequences
        • XML-specific constructions
        • Unicode Strings
        • Converting to and from string
        • Input-output
        • System
        • Namespaces
        • Imperative features
        • Queries
      • [XML Namespaces]
        • Overview
        • Reusing namespace declarations
        • XML Schema and namespaces
        • Types for atoms
        • Printing XML documents
        • Pretty-printing of XML values and types
        • Accessing namespace bindings
        • Miscellaneous
      • [XML Schema]
        • Overview
        • XML Schema components (micro) introduction
        • XML Schema components import
        • Toplevel directives
        • XML Schema → CDuce mapping
        • XML Schema validation
        • XML Schema instances output
        • Unsupported XML Schema features
      • [XML Schema sample documents]
        • Sample XML documents
        • mails.xsd
        • mails.xml
      • [Interfacing CDuce with OCaml]
        • Introduction
        • Translating types
        • Calling OCaml from CDuce
        • Calling CDuce from OCaml
        • How to compile and link
        • Calling OCaml from the toplevel
        • Examples
    • [Quick reference]
      • Identifiers
      • Scalars
      • Operators, built-in functions
      • Pairs
      • Sequences
      • Record
      • Strings
      • XML elements
      • Functions
      • Pattern matching, exceptions, ...
      • More about types and patterns
      • References
      • Toplevel statements
  • [Resources]
    • [Converting dtd to CDuce types]
    • [Online interpreter]
    • [CDuce demo]
      • CDuce: introduction, project status
      • Types, pattern matching
      • Sample values
      • Printing functions
      • Display
      • Changing the style
      • Compilation of pattern-matching
      • Thank you !
  • [OCamlDuce]
    • [Getting OCamlDuce]
      • Download and installation
      • Ports and packages
    • [OCamlDuce: manual]
      • Overview
      • Getting started
      • X-values
      • X-expressions
      • More on x-types
      • X-patterns
      • Namespace bindings
      • More on type-checking
      • Exchanging values
      • The standard library
      • Marshaling
      • Performance
      • OCaml and OCamlDuce
    • [OCamlDuce: code samples and applications]
      • Code samples
      • Applications in OCamlDuce
  • [Funding]
    • GraphDuce
    • Tralala
    • Myths
    • Casc
    • [GraphDuce]
      • Presentation
      • Documents
      • Compte-Rendus
      • [Compte Rendus]
        • Compte-Rendu de la réunion du 14/10/04
        • Compte-Rendu de la réunion du 04/06/04
        • Compte-Rendu de la réunion du 24/04/04
        • Présentation de GraphDuce
    • [XML Transformation Languages: logic and applications (TraLaLA)]
      • Description
      • [Tralala (partenaires)]
        • Participants
      • [Tralala (documents)]
        • Thèses
        • Publications
        • Slides
        • Documents
      • [Tralala (réunions)]
        • Réunions Plénaires
        • Autres événements
        • [Tralala: Journée du 3 novembre 2004]
          • Programme
          • Participants
        • [Tralala: Journées des 10 et 11 mars 2005]
          • Programme
          • Participants
        • [Tralala: Journées des 7 et 8 juillet 2005]
          • Programme
          • Participants
        • [Tralala: Journées du 26 et 27 janvier 2006]
          • Programme
          • Participants
        • [Tralala: Journées du 23 et 24 mai 2006]
          • Programme
          • Participants
        • [Tralala: Journée du 21 janvier 2007]
          • Programme
          • Participants
        • [Tralala: Journée du 22 février 2008]
          • Programme
          • Participants
      • [Comptes rendus de travaux aux sein de Tralala]
        • Les Crawlers dans CDuce.
      • [Listes de diffusion]
        • Listes de diffusion
  • [Contacts]
    • Mailing lists
    • The CDuce team
    • [Pictures and Logos]
      • Pictures
      • Logos
      • [Alain Frisch's Ph.D defense]
        • Introduction
        • Pictures
      • [Cédric Miachon Ph.D defense]
        • Introduction
        • Pictures
  • [Sitemap]
    • Sitemap