31 citations · 81 across the 5 of their papers we have counts for
6 papers
Polymorphic Type Inference for Dynamic Languages
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
We present a type system that combines, in a controlled way, first-order polymorphism with intersectiontypes, union types, and subtyping, and prove its safety. We then define a typ…
Set-Theoretic Types for Polymorphic Variants
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
Polymorphic variants are a useful feature of the OCaml language whose current definition and implementation rely on kinding constraints to simulate a subtyping relation via unifica…
Static and dynamic semantics of NoSQL languages
Véronique Benzaken, Giuseppe Castagna, Kim Nguy\~ên +1
We present a calculus for processing semistructured data that spans differences of application area among several novel query languages, broadly categorized as "NoSQL". This calcul…
Optimizing XML querying using type-based document projection
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo +1
XML data projection (or pruning) is a natural optimization for main memory query engines: given a query Q over a document D, the subtrees of D that are not necessary to evaluate Q…
XPath Whole Query Optimization
Sebastian Maneth, Kim Nguyen
Previous work reports about SXSI, a fast XPath engine which executes tree automata over compressed XML indexes. Here, reasons are investigated why SXSI is so fast. It is shown that…
Fast In-Memory XPath Search over Compressed Text and Tree Indexes
A. Arroyuelo, F. Claude, S. Maneth +5
A large fraction of an XML document typically consists of text data. The XPath query language allows text search via the equal, contains, and starts-with predicates. Such predicate…