GHELLI, GIORGIO Statistiche

GHELLI, GIORGIO  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 96 (tempo di esecuzione: 0.044 secondi).
Titolo Data di pubblicazione Autore(i) File
A Better Semantics for XQuery with Side-Effects 1-gen-2007 Ghelli, Giorgio; Onose, Nicola; Rose, Kristoffer; Simeon, Jerome
A Calculus for Overloaded Functions with Subtyping 1-gen-1995 Castagna, G.; Ghelli, Giorgio; Longo, G.
A calculus for overloaded functions with subtyping, extended abstract 1-gen-1992 G., Castagna; Ghelli, Giorgio; G., Longo
A class abstraction for a hierarchical type system 1-gen-1990 Ghelli, Giorgio
A framework for comparing type systems for database programming languages 1-gen-1989 A., Albano; A., Dearle; Ghelli, Giorgio; C., Marlin; R., Morrison; R., Orsini; D., Stemple
A Query Language Based on the Ambient Logic 1-gen-2001 Cardelli, L.; Ghelli, Giorgio
A relationship mechanism for object-oriented database programming language 1-gen-1991 A., Albano; Ghelli, Giorgio; R., Orsini
A semantics for lambda-early: a calculus with overloading and early binding 1-gen-1993 G., Castagna; Ghelli, Giorgio; G., Longo
A Spatial Logic for Querying Graphs 1-gen-2002 Cardelli, L.; Ghelli, Giorgio; Gardner, P.
A STATIC TYPE SYSTEM FOR MESSAGE PASSING 1-gen-1991 Ghelli, Giorgio
A Strongly Typed, Interactive Object-Oriented Database Programming Language 1-gen-1986 Albano, Antonio; Ghelli, Giorgio; Occhiuto, MARIA EUGENIA; R., Orsini
A type system for querying XML documents (extended abstract) 1-gen-2000 Albano, A.; Colazzo, D.; Ghelli, Giorgio; Manghi, P.; Sartiani, C.
A typed text retrieval query language for XML documents 1-gen-2002 Colazzo, D.; Sartiani, C.; Albano, Antonio; Manghi, P.; Ghelli, Giorgio; Lini, L.; Paoli, M.
Adjunct Elimination Through Games in Static Ambient Logic 1-gen-2004 Anuj, Dawar; Philippa, Gardner; Ghelli, Giorgio
Almost-Linear Inclusion for XML Regular Expression Types 1-gen-2013 Dario, Colazzo; Ghelli, Giorgio; Luca, Pardini; Carlo, Sartiani
Ambient calculus-based modal logics for mobile ambients 1-gen-2004 Luca, Cardelli; Andrew, Gordon; Ghelli, Giorgio
Ambient Groups and Mobility Types 1-gen-2000 Cardelli, L.; Ghelli, Giorgio; Gordon, A.
An Object Data Model with Roles 1-gen-1993 Albano, Antonio; Bergamini, R; Ghelli, Giorgio; Orsini, R.
Basic theory of F-bounded quantification 1-gen-1999 Baldan, P.; Ghelli, Giorgio; Raffaeta, A.
Bounded Existentials and Minimal Typing 1-gen-1998 Ghelli, Giorgio; Pierce, B.