BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × China
1 × Czech Republic
1 × Ireland
1 × Poland
1 × The Netherlands
2 × Spain
3 × Italy
5 × USA
Collaborated with:
L.Cardelli D.Colazzo C.Sartiani P.Gardner G.Castagna G.Longo G.Conforti P.Curien A.D.Gordon L.Pardini N.Onose K.H.Rose J.Siméon P.Manghi A.Albano R.Bergamini R.Orsini
Talks about:
type (6) queri (4) subtyp (3) xml (3) overload (2) calculus (2) regular (2) express (2) ambient (2) system (2)

Person: Giorgio Ghelli

DBLP DBLP: Ghelli:Giorgio

Contributed to:

CIKM 20092009
CIKM 20082008
SIGMOD 20082008
FoSSaCS 20042004
ICFP 20042004
FoSSaCS 20032003
ICALP 20022002
ESOP 20012001
ICALP 19991999
LICS 19991999
ICFP 19961996
TLCA 19931993
VLDB 19931993
LFP 19921992
OOPSLA 19911991
RTA 19911991

Wrote 17 papers:

CIKM-2009-ColazzoGPS #linear #regular expression #xml
Linear inclusion for XML regular expression types (DC, GG, LP, CS), pp. 137–146.
CIKM-2008-GhelliCS #linear #regular expression
Linear time membership in a class of regular expressions with interleaving and counting (GG, DC, CS), pp. 389–398.
SIGMOD-2008-GhelliORS #optimisation #query #xml
XML query optimization in the presence of side effects (GG, NO, KHR, JS), pp. 339–352.
FoSSaCS-2004-ConfortiG #decidability
Decidability of Freshness, Undecidability of Revelation (GC, GG), pp. 105–120.
ICFP-2004-ColazzoGMS #correctness #query #xml
Types for path correctness of XML queries (DC, GG, PM, CS), pp. 126–137.
Manipulating Trees with Hidden Labels (LC, PG, GG), pp. 216–232.
ICALP-2002-CardelliGG #graph #logic #query
A Spatial Logic for Querying Graphs (LC, PG, GG), pp. 597–610.
ESOP-2001-CardelliG #logic #query
A Query Language Based on the Ambient Logic (LC, GG), pp. 1–22.
ICALP-1999-CardelliGG #mobile
Mobility Types for Mobile Ambients (LC, ADG, GG), pp. 230–239.
LICS-1999-ColazzoG #kernel #recursion #type system
Subtyping Recursive Types in Kernel Fun (DC, GG), pp. 137–146.
ICFP-1996-Ghelli #complexity #kernel #type checking #type system
Complexity of Kernel Fun Subtype Checking (GG), pp. 134–145.
TLCA-1993-CastagnaGL #calculus #semantics
A Semantics for λ&-early: A Calculus with Overloading and Early Binding (GC, GG, GL), pp. 107–123.
TLCA-1993-Ghelli #recursion
Recursive Types Are not Conservative over F (GG), pp. 146–162.
An Object Data Model with Roles (AA, RB, GG, RO), pp. 39–51.
LFP-1992-CastagnaGL #calculus #type system
A Calculus for Overloaded Functions with Subtyping (GC, GG, GL), pp. 182–192.
OOPSLA-1991-Ghelli #message passing #static typing #type system
A Static Type System for Message Passing (GG), pp. 129–145.
RTA-1991-CurienG #confluence #normalisation #on the
On Confluence for Weakly Normalizing Systems (PLC, GG), pp. 215–225.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.