Skip to content
GitLab
Menu
Projects
Groups
Snippets
Help
Help
Support
Community forum
Keyboard shortcuts
?
Submit feedback
Contribute to GitLab
Sign in
Toggle navigation
Menu
Open sidebar
cduce
cduce
Commits
3bcaa449
Commit
3bcaa449
authored
Oct 05, 2007
by
Pietro Abate
Browse files
[r2004-11-04 00:13:28 by beppe] Empty log message
Original author: beppe Date: 2004-11-04 00:14:31+00:00
parent
ffc2ecff
Changes
4
Hide whitespace changes
Inline
Side-by-side
web/site.cd
View file @
3bcaa449
...
...
@@ -25,7 +25,7 @@ type Item =
| Page
| External
type Author =
<author>
String
type Author =
<author
presenter=
?("yes"|"no")
>
String
type Paper =
<paper
file=
?String
old=
?""
>
[
<title>
String Author+
<comment>
[InlineText*]
<abstract>
Content ]
...
...
@@ -108,10 +108,13 @@ let url_of_page (Page -> String)
|
<page
url=
u
>
_ -> u
|
<page
name=
n
>
_ -> n @ ".html"
let authors ([Author+] -> String)
| [
<author>
a ] -> a
| [
<author>
a1
<author>
a2 ] -> a1 @ ", and " @ a2
| [
<author>
a; rem ] -> a @ ", " @ authors rem
let render(a : String)(p : {presenter=?"yes"|"no"}) : H:Flow =
(match p with {presenter="yes"} -> [
<strong
class=
"ocaml"
>
a] | _ -> a)
let authors ([Author+] -> H:Flow)
| [
<author
(
p
)
>
a ] -> render a p
| [
<author
(
p1
)
>
a1
<author
(
p2
)
>
a2 ] -> (render a1 p1) @ ", and " @ (render a2 p2)
| [
<author
(
p
)
>
a; rem ] -> (render a p)@ ", " @ authors rem
let find_local_link (sitemap : [Tree*], l : String) : Tree =
match sitemap with
...
...
web/tralala_documents.xml
View file @
3bcaa449
...
...
@@ -120,10 +120,24 @@ language for XML manipulation that is based on semantic subtyping.
Slides of the BDA 2004 paper.
</comment>
</slides>
</li>
<li>
<slides
file=
"http://www.cduce.org/tralala_documents/piduce.pdf"
>
<title>
Path Sequence-Based XML Query Processing
</title>
<author>
G. Castagna
</author>
<author>
R. De Nicola
</author>
<author
presenter=
"yes"
>
D. Varacca
</author>
<comment>
Presentation donné à la
<a
href=
"http://www.cduce.org/tralala_1st.html"
>
première reunion
</a>
de Tralala.
</comment>
</slides>
</li>
</li>
</ul>
</ul>
</box>
<box
title=
"Documents"
link=
"doc"
>
...
...
web/tralala_marseille05.xml
View file @
3bcaa449
...
...
@@ -26,7 +26,7 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
Deuxime runion plenaire de Tralala, 3-4 mars 2005, Marseille.
</p>
<p><b>
Liste de talks
</b></p>
<ol>
<li>
Joachim Niehren (LIFL):
<i>
Introduction aux automates d'arbres et relation avec les langages de requte
</i></li>
<li>
Joachim Niehren (LIFL):
<i>
Introduction aux automates d'arbres et relation avec les langages de requtes
<
/i></li>
<li>
Cdric Lhoussaine (LIFL):
<i>
Introduction au pi-calcul et relation avec les langages concurrents
</i>
.
</li>
<li>
Giuseppe Castagna (ENS):
<i>
Introduction au sous-typage smantique
</i></li>
<li>
Luc Segoufin (INRIA):
<i>
Typage de documents XML: la perspective BD.
</i></li>
...
...
web/tralala_reunions.xml
View file @
3bcaa449
...
...
@@ -2,7 +2,8 @@
<page
name=
"tralala_reunions"
>
<title>
Tralala (runions)
</title>
<include
file=
"tralala_1st.xml"
/>
<include
file=
"tralala_marseille05.xml"
/>
<left>
<p
style=
"font-size: 12pt; color: fuchsia"
>
Available Pages
</p>
<ul>
...
...
@@ -23,6 +24,7 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
<box
title=
"Runions"
link=
"Reu"
>
<ol>
<li><b>
3 novembre 2004
</b>
cole Normale Suprieure, Grande Salle, 46 rue d'Ulm.
<a
href=
"tralala_1st.html"
>
Programme.
</a></li>
<li><b>
3-4 mars 2005
</b>
Marseille.
<a
href=
"tralala_marseille05.html"
>
Programme.
</a></li>
</ol>
</box>
...
...
Write
Preview
Markdown
is supported
0%
Try again
or
attach a new file
.
Attach a file
Cancel
You are about to add
0
people
to the discussion. Proceed with caution.
Finish editing this message first!
Cancel
Please
register
or
sign in
to comment