CDuce: An XML-Centric General-Purpose Language. Benzaken, V.E.; Castagna, G.; and Frisch, A. In pages 51-63.
doi  abstract   bibtex   
We present the functional language CDuce, discuss some design issues, and show its adequacy for working with XML documents. Distinctive features of CDuce are a powerful pattern matching, first class functions, overloaded functions, a very rich type system (arrows, sequences, pairs, records, intersections, unions, differences), precise type inference for patterns and error localization, and a natural interpretation of types as sets of values. We also outline some important implementation issues; in particular, a dispatch algorithm that demonstrates how static type information can be used to obtain very efficient compilation schemas.
@inproceedings{ ben03c,
  crossref = {icfp03},
  author = {V́eronique Benzaken and Giuseppe Castagna and Alain Frisch},
  title = {CDuce: An XML-Centric General-Purpose Language},
  pages = {51-63},
  topic = {cduce[1]},
  doi = {10.1145/944710},
  uri = {http://doi.acm.org/10.1145/944710},
  abstract = {We present the functional language CDuce, discuss some design issues, and show its adequacy for working with XML documents. Distinctive features of CDuce are a powerful pattern matching, first class functions, overloaded functions, a very rich type system (arrows, sequences, pairs, records, intersections, unions, differences), precise type inference for patterns and error localization, and a natural interpretation of types as sets of values. We also outline some important implementation issues; in particular, a dispatch algorithm that demonstrates how static type information can be used to obtain very efficient compilation schemas.}
}
Downloads: 0