Kim Nguyen

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