31 citations · 58 across the 2 of their papers we have counts for
2 papers
cs.PL2016★ 27 cited
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…
cs.PL2013★ 31 cited
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…