Commit 7f4defab authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-03-20 16:10:23 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-20 16:10:23+00:00
parent 260e7c12
...@@ -28,6 +28,34 @@ This page presents Papers and Talks about CDuce. ...@@ -28,6 +28,34 @@ This page presents Papers and Talks about CDuce.
<section title="Language Description"> <section title="Language Description">
<ul> <ul>
<li>
<paper file="papers/cduce-design.ps.gz">
<title>CDuce: an XML-centric general purpose language</title>
<author>V. Benzaken</author>
<author>G. Castagna</author>
<author>A. Frisch</author>
<comment>
A preliminary and abriged version of this work was presented at the workshop
<i>PLAN-X: Programming Language Technologies for XML</i>
Pittsburgh PA, Oct. 2002.
</comment>
<abstract> <p> In this work, we present the functional language
\duce{}, discuss some design issues, and show its adequacy
for working with XML documents. Peculiar features of
\duce{} 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 and error localization,
and a natural interpretation of types as sets of values. We
also discuss some important implementations issues; in
particular, a dispatch algorithm that demonstrates how
static type information can be used to obtain very efficient
compilation schemas.
</p> </abstract>
</paper>
</li>
<li> <li>
<paper file="papers/cduce-wp.ps.gz"> <paper file="papers/cduce-wp.ps.gz">
<title>CDuce: a white paper</title> <title>CDuce: a white paper</title>
...@@ -39,18 +67,9 @@ This page presents Papers and Talks about CDuce. ...@@ -39,18 +67,9 @@ This page presents Papers and Talks about CDuce.
<i>PLAN-X: Programming Language Technologies for XML</i> <i>PLAN-X: Programming Language Technologies for XML</i>
Pittsburgh PA, Oct. 2002. Pittsburgh PA, Oct. 2002.
</comment> </comment>
<abstract>
<abstract> <p> In this paper, we present the functional language CDuce, Superseded by the previous paper
discuss some design issues, and show its adequacy for working with </abstract>
XML documents. Peculiar 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 and a natural
interpretation of types as sets of values. We also discuss how to add
constructs for programming XML queries in a declarative (and, thus,
optimizable) way and finally sketch a dispatch algorithm to
demonstrate how static type information can be used in efficient
compilation schemas. </p> </abstract>
</paper> </paper>
</li> </li>
</ul> </ul>
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment