Searching for authors named Giorgio Ghelli – sorted by Relevance.
-
Divergence of F≤ Type Checking
- Divergence of F type checking Giorgio Ghelli 1 Abstract System F is an extension of second
- Cited by 14 (4 self) – Add To MetaCart
-
Foundations for Extensible Objects with Roles
- Foundations for Extensible Objects with Roles Giorgio Ghelli Dipartimento di Informatica, Corso
- Cited by 9 (0 self) – Add To MetaCart
-
Typing mobility in the Seal Calculus
- Typing mobility in the Seal Calculus Giuseppe Castagna 1 , Giorgio Ghelli 2 , Francesco Zappa
- Add To MetaCart
-
Subtyping Recursive Types in Kernel Fun
- Subtyping Recursive Types in Kernel Fun Dario Colazzo, Giorgio Ghelli Dipartimento d
- Cited by 6 (1 self) – Add To MetaCart
-
Foundations for Extensible Objects with Roles (Extended Abstract)
- Foundations for Extensible Objects with Roles Extended Abstract Giorgio Ghelli and Debora
- Cited by 5 (1 self) – Add To MetaCart
-
Spatial Tree Logics to Reason about Semistructured Data
- Spatial Tree Logics to reason about Semistructured Data Giovanni Conforti and Giorgio Ghelli
- Cited by 5 (0 self) – Add To MetaCart
-
XML Query Optimization in the Presence of Side Effects ABSTRACT
- XML Query Optimization in the Presence of Side Effects ABSTRACT Giorgio Ghelli Università di Pisa
- Add To MetaCart
-
Bounded Existentials and Minimal Typing
- Bounded Existentials and Minimal Typing Giorgio Ghelli Benjamin Pierce y July 9, 1996 Abstract
- Cited by 15 (6 self) – Add To MetaCart
-
Typing mobility in the Seal Calculus
- Typing mobility in the Seal Calculus Giuseppe Castagna 1 , Giorgio Ghelli 2 , Francesco Zappa
- Cited by 15 (4 self) – Add To MetaCart
-
A Query Language for Semistructured Data Based on the Ambient Logic
- Research Giorgio Ghelli Universita di Pisa Preliminary version, April 19, 2000 Abstract The ambient logic
- Cited by 20 (1 self) – Add To MetaCart

