@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.}
}

{"_id":{"_str":"53ff72c27c90ec6e1300138d"},"__v":0,"authorIDs":[],"author_short":["Benzaken, V.E.","Castagna, G.","Frisch, A."],"bibbaseid":"benzaken-castagna-frisch-cduceanxmlcentricgeneralpurposelanguage","bibdata":{"downloads":0,"role":"author","bibbaseid":"benzaken-castagna-frisch-cduceanxmlcentricgeneralpurposelanguage","uri":"http://doi.acm.org/10.1145/944710","type":"inproceedings","topic":"cduce[1]","title":"CDuce: An XML-Centric General-Purpose Language","pages":"51-63","key":"ben03c","id":"ben03c","doi":"10.1145/944710","crossref":"icfp03","bibtype":"inproceedings","bibtex":"@inproceedings{ ben03c,\n crossref = {icfp03},\n author = {V́eronique Benzaken and Giuseppe Castagna and Alain Frisch},\n title = {CDuce: An XML-Centric General-Purpose Language},\n pages = {51-63},\n topic = {cduce[1]},\n doi = {10.1145/944710},\n uri = {http://doi.acm.org/10.1145/944710},\n 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.}\n}","author_short":["Benzaken, V.E.","Castagna, G.","Frisch, A."],"author":["Benzaken, V́eronique","Castagna, Giuseppe","Frisch, Alain"],"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."},"bibtype":"inproceedings","biburl":"http://dret.net/biblio/dret.bib","creationDate":"2014-08-28T18:19:46.623Z","downloads":0,"keywords":[],"search_terms":["cduce","xml","centric","general","purpose","language","benzaken","castagna","frisch"],"title":"CDuce: An XML-Centric General-Purpose Language","year":null,"dataSources":["mL7NKvaepNEWFcMvG"]}