Proof theoretic studies about a minimal type system integrating inclusion and parametric polymorphism

von Ghelli, Giorgio
Veröffentlicht 1990

Database programming languages : 8th international workshop, DBPL 2001, Frascati, Italy, September 8 - 10, 2001 ; revised papers

Veröffentlicht 2002

Database programming languages : 8th international workshop ; revised papers

Veröffentlicht 2002

Database programming languages : 8th international workshop ; revised papers

Veröffentlicht 2002

Challenges in Checking JSON Schema Containment over Evolving Real-World Schemas

von Fruth, Michael
Veröffentlicht in CMAI (1. : 2020 : Online) Advances in conceptual modeling (2020)

Witness Generation for JSON Schema

von Attouche, Lyes
Veröffentlicht in International Conference on Very Large Data Bases (48. : 2022 : Sydney; Online) 48th International Conference on Very Large Data Bases (VLDB 2022) ; Part 6 of 6 (2023)