Searching for authors named Giorgio Ghelli – sorted by Relevance.
46 documents found, showing 1 through 10.
Next 10 →
-
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
Showing 1 through 10.
Next 10 →
