Dario Colazzo
LRI, Université Paris Sud .
Member of the Database Research Group .
email: dario.colazzo - at - lri.fr
phone: 0169156627
fax: 0169156586
mail address: LRI, Bâtiment 490 Université Paris-Sud 91405 Orsay cedex
Dario
Colazzo and Giorgio Ghelli.
Subtyping, Recursion and Parametric
Polymorphism in Kernel Fun.
Information and Computation. Volume 198, Issue 2, Pages 71-179.
Dario
Colazzo and Carlo Sartiani.
Typechecking Queries for Maintaining Schema Mappings in XML P2P Databases
.
ACM Workshop on Programming Language Technologies for XML (PLAN-X), January 2005.
Michele Bugliesi, Dario Colazzo and Silvia Crafa.
Type Based Discretionary Access Control
CONCUR'04 - Concurrency Theory. LNCS n.3170, September 2004, London.
Dario Colazzo, Giorgio Ghelli, Paolo Manghi, and Carlo Sartiani.
Types for Path Correctness of XML queries.
ACM International Conference on Functional Programming (ICFP), Snowbird, Utah, USA, 2004.
Dario Colazzo, Carlo Sartiani, Antonio Albano, Paolo
Manghi, Giorgio Ghelli, Luca Lini, and Michele Paoli.
A Typed Text Retrieval
Query Language for XML Documents
Journal of American Society
for Computer Science and Technology (JASIST), Special Issue on XML and
Information Retrieval, 2002
Dario Colazzo, Giorgio Ghelli, Paolo
Manghi, and Carlo Sartiani.
Types for Correctness of Queries over
Semistructured Data.
ACM Workshop on
the Web and Databases (WebDB), Madison, Winsconsin, 2002.
Giovanni Conforti, Giorgio Ghelli, Antonio
Albano, Dario Colazzo, Paolo Manghi, and Carlo Sartiani.
The Query
Langauge TQL.
ACM Workshop on the Web
and Databases (WebDB), Madison, Winsconsin, 2002
A. Albano, D. Colazzo, G. Ghelli, P. Manghi, and C.
Sartiani.
A Type System For Querying XML documents.
ACM SIGIR 2000 Workshop On XML and Information Retrieval, Athens,
Greece, 2000 .
Dario
Colazzo and Giorgio Ghelli.
Subtyping Recursive Types in Kernel Fun.
IEEE Symposium on Logic in Computer
Science (LICS), Trento, Italy, 1999.