Skip to contents

Ghelli, Giorgio [Editor]; Grahne, Gösta [Other] ; DBPL 8 2001 Frascati

Database programming languages : 8th international workshop ; revised papers

View online
Schließen

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin; Heidelberg [u.a.]: Springer, 2002

Published in: Lecture notes in computer science ; 2397
Ghelli, Giorgio [Other]; Grahne, Gösta [Other]

Database Programming Languages : 8th International Workshop, DBPL 2001 Frascati, Italy, September 8–10, 2001 Revised Papers

View online
Schließen

Access

... to E-book via DOI (Volltext)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Berlin, Heidelberg: Springer-Verlag Berlin Heidelberg, 2006

Published in: Lecture notes in computer science ; 2397
Baazizi, Mohamed-Amine [Author]; Colazzo, Dario [Author]; Ghelli, Giorgio [Author]; Sartiani, Carlo [Author] ; Mohamed-Amine Baazizi and Dario Colazzo and Giorgio Ghelli and Carlo Sartiani [Contributor]

A Type System for Interactive JSON Schema Inference (Extended Abstract)

View online
Schließen

Links

... to article via DOI

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Schloss Dagstuhl – Leibniz-Zentrum für Informatik, 2019
Baazizi, Mohamed-Amine [Author]; Colazzo, Dario [Author]; Ghelli, Giorgio [Author]; Sartiani, Carlo [Author]; Scherzinger, Stefanie [Author]

The Usage of Negation in Real-World JSON Schema Documents

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2022

Published in: Italian Symposium on Advanced Database Systems (30. : 2022 : Tirrenia): SEBD 2022: Italian Symposium on Advanced Database Systems ; (2022), Seite 101-108
Attouche, Lyes [Author]; Baazizi, Mohamed-Amine [Author]; Colazzo, Dario [Author]; Ding, Yunchen [Author]; Fruth, Michael [Author]; Ghelli, Giorgio [Author]; Sartiani, Carlo [Author]; Scherzinger, Stefanie [Author]

A Test Suite for JSON Schema Containment

View online
Schließen

Access

... to article (Volltext ; freely accessible)

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

2021

Published in: ER (40. : 2021 : Online): ER-Demos-Posters 2021: ER Demos and Posters 2021 ; (2021), Seite 19-24
Ghelli, Giorgio

Foundations for Extensible Objects with Roles

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2002

Published in: Information and Computation, 175 (2002) 1, Seite 50-75
Ghelli, Giorgio

Termination of SystemF-bounded: A Complete Proof

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1997

Published in: Information and Computation, 139 (1997) 1, Seite 39-56
Ghelli, Giorgio

Complexity of kernel Fun subtype checking

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1996

Published in: ACM SIGPLAN Notices, 31 (1996) 6, Seite 134-145
Ghelli, Giorgio

Divergence of F⩽ type checking

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1995

Published in: Theoretical Computer Science, 139 (1995) 1-2, Seite 131-162
Ghelli, Giorgio

Lecture Notes in Computer Science: Recursive types are not conservative over F≤ : Extended abstract : Extended abstract

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1993

Published in: Lecture Notes in Computer Science (1993), Seite 146-162
Ghelli, Giorgio

Foundations of Object-Oriented Languages: Modelling features of object-oriented languages in second order functional languages with subtypes

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1991

Published in: Foundations of Object-Oriented Languages (1991), Seite 311-340
Ghelli, Giorgio

ICDT '90: A class abstraction for a hierarchical type system

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1990

Published in: ICDT '90 (1990), Seite 56-71
Ghelli, Giorgio

A static type system for message passing

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Association for Computing Machinery (ACM), 1991

Published in: ACM SIGPLAN Notices, 26 (1991) 11, Seite 129-145
Ghelli, Giorgio Bartolucci

Is Every Kind of Play Suitable for the Child?

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2013

Published in: Procedia - Social and Behavioral Sciences, 106 (2013), Seite 1632-1635
Colazzo, Dario; Ghelli, Giorgio

Subtyping recursion and parametric polymorphism in kernel fun

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 2005

Published in: Information and Computation, 198 (2005) 2, Seite 71-147
Conforti, Giovanni; Ghelli, Giorgio

Lecture Notes in Computer Science: Decidability of Freshness, Undecidability of Revelation

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2004

Published in: Lecture Notes in Computer Science (2004), Seite 105-120
CARDELLI, LUCA; GHELLI, GIORGIO

TQL: a query language for semistructured data based on the ambient logic

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Cambridge University Press (CUP), 2004

Published in: Mathematical Structures in Computer Science, 14 (2004) 3, Seite 285-327
Cardelli, Luca; Ghelli, Giorgio

Programming Languages and Systems: A Query Language Based on the Ambient Logic

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 2001

Published in: Programming Languages and Systems (2001), Seite 1-22
Ghelli, Giorgio; Pierce, Benjamin

Bounded existentials and minimal typing

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Elsevier BV, 1998

Published in: Theoretical Computer Science, 193 (1998) 1-2, Seite 75-96
Curien, Pierre-Louis; Ghelli, Giorgio

CAAP '90: Coherence of subsumption

View online
Schließen

Access

Close

Bookmarks

You can manage bookmarks using lists, please log in to your user account for this.

Springer Berlin Heidelberg, 1990

Published in: CAAP '90 (1990), Seite 132-146

You did not find what you were looking for?

Purchase suggestion
Are you missing something you need for your research? If you have any suggestions please share them here.

Interlibrary Loan
Please search and order your favorite title in the Interlibrary Loan Portal.

Search in field:

Recently searched for:

You did not find what you were looking for?

> Year of publication

Year of publication