Commit d763a52a authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-01-10 14:40:37 by afrisch] Demo

Original author: afrisch
Date: 2005-01-10 14:40:37+00:00
parent 8a4fd563
......@@ -5,18 +5,49 @@
<page name="demo">
<title>CDuce demo at PLANX 2005</title>
<box title="Introduction" link="intro">
<box title="CDuce: introduction, project status" link="intro">
<p>
This page is the support for the CDuce demo at the PLANX 2005 workshop
(Longbeach). CDuce is a type-centric XML-oriented functional
language.
(Longbeach).
</p>
<section title="Hightlights of CDuce">
<ul>
<li>XML-oriented.</li>
<li>Type centric.</li>
<li>Based on regular expression types and patterns.</li>
<li>Also general purpose features, including
<b>higher-order and overloaded functions</b>.</li>
<li>Reasonnably efficient implementation.</li>
</ul>
</section>
<section title="Papers">
<ul>
<li>White paper (PLANX 2002).</li>
<li>Language description (ICFP 2003).</li>
<li>Theoretical foundations (LICS 2002).</li>
<li>Compilation of pattern matching (PLANX 2004, TCS 2004).</li>
<li>Query language (PADL 2005).</li>
</ul>
</section>
<section title="Distribution">
<p>
Public release since June 2003. Now at version 0.2.1,
which includes a <b>typeful and lightweight OCaml/CDuce interface</b>.
A few users (static/dynamic websites, code generation
from GUI description, teaching, ...). Development continues.
</p>
</section>
<section title="This demo">
<p>
The demo illustrates the use of first-class functions
in XML transformations. Here, functions are stored within documents.
</p>
</section>
<boxes-toc/>
......
......@@ -443,7 +443,7 @@ match page with
[
<td valign="top" align="left">[
<span style="position:fixed;background:#ffffff;border: solid 2px black; cursor:e-resize;" onclick="javascript:var s=document.getElementById('leftbar').style; s.display=(s.display=='none'?'block':'none');">"*"
<span style="position:fixed;background:#ffffff;border: solid 2px black; cursor:e-resize;" onclick="javascript:var s=document.getElementById('leftbar').style; var d=s.display=='none'?'block':'none'; s.display=d; document.cookie='leftbar='+d;">"*"
<table cellpadding="0" cellspacing="15" id="leftbar"
width="200"
style="font-size:80%; border: 1px dashed black;
......@@ -518,7 +518,8 @@ text-align:center; color: #aa0000; font: bold 200% helvetica" >
<meta content="text/html; charset=iso-8859-1" http-equiv="Content-Type">[]
<style type="text/css">style
]
<body style="margin: 0; padding : 0; background: #fcb333">[ (* altbg 4e6e99 *)
<body style="margin: 0; padding : 0; background: #fcb333"
onload="javascript:if (document.cookie.indexOf('leftbar=none')>=0) document.getElementById('leftbar').style.display='none';">[ (* altbg 4e6e99 *)
<table cellspacing="10" cellpadding="0" width="100%" border="0">[
<tr>[ !left right ]
]
......
......@@ -43,21 +43,7 @@ href="http://www.di.ens.fr/~castagna/EQUIPE/">Language group</a>.
Cdric Miachon</a> (Ph.D. student): <i>query langage for CDuce</i>.
</li>
<li>
<a href="http://bononia.it/zack">
Stefano Zacchiroli
</a> (former intern): <i>support for XML Schema</i>.
</li>
<li>
<a href="http://www.ie2.u-psud.fr/~jdemouth">
Julien Demouth
</a> (former intern): <i>interface with OCaml</i>.
</li>
<li>
<a href="http://www.eleves.ens.fr/home/delatail/">
Josh de Lataillade
</a> (former intern).
</li>
</ul>
</box>
......@@ -92,6 +78,21 @@ href="http://www.lri.fr/bd/introduction.en.shtml">Database group</a>.
</box>
<box title="Former interns and students" link="former">
<ul>
<li>
<a href="http://bononia.it/zack">
Stefano Zacchiroli
</a> (former intern): <i>support for XML Schema</i>.
</li>
<li>
<a href="http://www.ie2.u-psud.fr/~jdemouth">
Julien Demouth
</a> (former intern): <i>interface with OCaml</i>.
</li>
</ul>
</box>
<box title="Other contacts" link="contacts">
......
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