Kim Nguyen

Publication Activity (10 Years)

Years Active: 2005-2024
Publications (10 Years): 8

Top Topics

Occurrence Probability

Database Query Languages

Top Venues

Proc. ACM Program. Lang.

Sci. Comput. Program.

Publications

Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
Polymorphic Type Inference for Dynamic Languages. Proc. ACM Program. Lang. 8 (POPL) (2024)
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen
Polymorphic Type Inference for Dynamic Languages. CoRR (2023)
Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen
Revisiting occurrence typing. Sci. Comput. Program. 217 (2022)
Giuseppe Castagna, Mickaël Laurent, Kim Nguyen, Matthew Lutze
On type-cases, union elimination, and occurrence typing. Proc. ACM Program. Lang. 6 (POPL) (2022)
Victor Lanvin, Mickaël Laurent, Kim Nguyen, Giuseppe Castagna
Revisiting Occurrence Typing. CoRR (2019)
Véronique Benzaken, Giuseppe Castagna, Laurent Daynès, Julien Lopez, Kim Nguyen, Romain Vernoux
Language-Integrated Queries: a BOLDR Approach. WWW (Companion Volume) (2018)
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
Set-Theoretic Types for Polymorphic Variants. CoRR (2016)
Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen
Set-theoretic types for polymorphic variants. ICFP (2016)
Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken
A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches. ESOP (2015)
Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki
Fast in-memory XPath search using compressed indexes. Softw. Pract. Exp. 45 (3) (2015)
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate
Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction. POPL (2015)
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation. POPL (2014)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Optimizing XML querying using type-based document projection. ACM Trans. Database Syst. 38 (1) (2013)
Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
Static and dynamic semantics of NoSQL languages. POPL (2013)
Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon
Static and dynamic semantics of NoSQL languages CoRR (2013)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Optimizing XML querying using type-based document projection CoRR (2011)
Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki
Fast in-memory XPath search using compressed indexes. ICDE (2010)
Sebastian Maneth, Kim Nguyen
XPath Whole Query Optimization CoRR (2010)
Sebastian Maneth, Kim Nguyen
XPath Whole Query Optimization. Proc. VLDB Endow. 3 (1) (2010)
Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki
Fast In-Memory XPath Search over Compressed Text and Tree Indexes CoRR (2009)
Giuseppe Castagna, Kim Nguyen
Typed iterators for XML. ICFP (2008)
Giuseppe Castagna, Kim Nguyen
Typed Iterators for XML. PLAN-X (2008)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Type-Based XML Projection. VLDB (2006)
Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen
Type-Based XML Projection. BDA (2006)
Pascal Berthomé, Sylvain Lebresne, Kim Nguyen
Computation of Chromatic Polynomials Using Triangulations and Clique Trees. WG (2005)