Commit 4c1f6dab authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-03-20 17:28:04 by cvscast] Empty log message

Original author: cvscast
Date: 2003-03-20 17:28:04+00:00
parent 73923327
......@@ -35,15 +35,13 @@ This page presents Papers and Talks about CDuce.
<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.
Unpublished manuscript.
</comment>
<abstract> <p> In this work, we present the functional language
\duce{}, discuss some design issues, and show its adequacy
CDuce, discuss some design issues, and show its adequacy
for working with XML documents. Peculiar features of
\duce{} are a powerful pattern matching, first class
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 error localization,
......@@ -63,7 +61,7 @@ compilation schemas.
<author>G. Castagna</author>
<author>A. Frisch</author>
<comment>
A preliminary and abriged version of this work was presented at the workshop
Workshop
<i>PLAN-X: Programming Language Technologies for XML</i>
Pittsburgh PA, Oct. 2002.
</comment>
......@@ -119,7 +117,7 @@ Superseded by the previous paper
<author>E. Giovannetti</author>
<author>Y. Motohama</author>
<comment>
In <i>Electronic Notes in Theoretical Computer Science 70 No.1 (2002)</i>.
In <i>Intersection Types and Related Systems</i> Electronic Notes in Theoretical Computer Science 70 No.1 (2002).
</comment>
<abstract> <p> We compare Meyer and Routley's minimal relevant logic
......
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