Commit 73923327 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 0ac20cd1
......@@ -28,6 +28,34 @@ This page presents Papers and Talks about CDuce.
<section title="Language Description">
<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>
<paper file="papers/cduce-wp.ps.gz">
<title>CDuce: a white paper</title>
......@@ -39,18 +67,9 @@ This page presents Papers and Talks about CDuce.
<i>PLAN-X: Programming Language Technologies for XML</i>
Pittsburgh PA, Oct. 2002.
</comment>
<abstract> <p> In this paper, we present the functional language CDuce,
discuss some design issues, and show its adequacy for working with
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>
<abstract>
Superseded by the previous paper
</abstract>
</paper>
</li>
</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