Lecture 17: XML processing with CDuce

Potted history of languages for XML processing. CDuce as a general purpose language with powerful type structure oriented towards XML processing. XML schema validation as type-checking. Types constructed using regular expression types, recursive types, set-theoretic boolean operators and lisp-like encodings for values. Patterns reinvented as types with capture variables rather than a separate concept. Advanced patterns, map operators and support for SQL-like querying.


  • Try out the examples shown in the slides (fill in the details).
  • Work through the tutorial at http://www.cduce.org.

Comments are closed.