Commit 07fcc400 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2005-05-17 10:08:01 by beppe] updated

Original author: beppe
Date: 2005-05-17 10:08:01+00:00
parent 28eaeac1
...@@ -133,12 +133,11 @@ the latter with the two efficiency-best XQuery processor we are aware of. </p> ...@@ -133,12 +133,11 @@ the latter with the two efficiency-best XQuery processor we are aware of. </p>
<section title="Theoretic Foundations"> <section title="Theoretic Foundations">
<ul> <ul>
<li> <li>
<paper file="papers/gentle.ps.gz"> <paper file="papers/gentle.pdf">
<title>A Gentle Introduction to Semantic Subtyping</title> <title>A Gentle Introduction to Semantic Subtyping</title>
<author>G. Castagna</author> <author>G. Castagna</author>
<author>A. Frisch</author> <author>A. Frisch</author>
<comment> Second workshop on Programmable Structured Documents <comment> Joint PPDP-ICALP '05 Keynote Talk. Proc. of PPDP 2005, ACM Press. </comment>
(Hakone). </comment>
<abstract> <p> Subtyping relations are usually defined either syntactically <abstract> <p> Subtyping relations are usually defined either syntactically
by a formal system or semantically by an interpretation of types into an by a formal system or semantically by an interpretation of types into an
......
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