Commit 033b09a1 authored by Pietro Abate's avatar Pietro Abate
Browse files

[r2003-11-02 09:45:30 by beppe] added paper

Original author: beppe
Date: 2003-11-02 09:45:30+00:00
parent 3187633c
......@@ -53,6 +53,14 @@ the content by <a href="examples.html#site">the following CDuce program</a>.
</left>
<box title="Latest News" link="news">
<section title="2003, October 26th, Sunday: New addition to papers.">
<p>
If you want a simple and basic introduction to the theoretical foundations
of CDuce, there is a new entry in the <a href="papers.html">papers page</a>.
</p>
<br/>
</section>
<section title="2003, October 17th, Friday: CVS publicly available.">
<p>
You can now download the development version directly from the cvs tree. See instructions at the <a href="download">usual place</a>. Be careful, it may not work, and many features are experimental and undocumented.
......
......@@ -62,6 +62,27 @@ Superseded by the previous paper
<section title="Theoretical foundations">
<ul>
<li>
<paper file="papers/gentle.ps.gz">
<title>A Gentle Introduction to Semantic Subtyping</title>
<author>G. Castagna</author>
<author>A. Frisch</author>
<comment> Unpublished</comment>
<abstract> <p> Subtyping relations are usually defined either syntactically
by a formal system or semantically by an interpretation of types into an
untyped denotational model. In this work we show step by step how to
define a subtyping relation semantically in the presence of functional
types and dynamic dispatch on types, without the complexity of
denotational models, and how to derive a complete subtyping algorithm.
</p> <p>
The presentation is voluntarily kept informal and discursive and
the technical details are reduced to a minimum since we rather insist on
the motivations, the intuition, and the guidelines to apply the approach,
the technical details being already published in the paper below.
</p> </abstract>
</paper>
</li>
<li>
<paper file="papers/lics02.ps.gz">
......
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