Kim Nguyen

According to our database, Kim Nguyen authored at least 16 papers between 2005 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Polymorphic Type Inference for Dynamic Languages.

Giuseppe Castagna, Mickaël Laurent, Kim Nguyen

Proc. ACM Program. Lang., January, 2024

2022

Revisiting occurrence typing.

Giuseppe Castagna, Victor Lanvin, Mickaël Laurent, Kim Nguyen

Sci. Comput. Program., 2022

On type-cases, union elimination, and occurrence typing.

Giuseppe Castagna, Mickaël Laurent, Kim Nguyen, Matthew Lutze

Proc. ACM Program. Lang., 2022

2018

Language-Integrated Queries: a BOLDR Approach.

Véronique Benzaken, Giuseppe Castagna, Laurent Daynès, Julien Lopez, Kim Nguyen, Romain Vernoux

Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

2016

Set-theoretic types for polymorphic variants.

Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen

Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015

Fast in-memory XPath search using compressed indexes.

Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki

Softw. Pract. Exp., 2015

Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate

Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2015

A Core Calculus for XQuery 3.0 - Combining Navigational and Pattern Matching Approaches.

Giuseppe Castagna, Hyeonseung Im, Kim Nguyen, Véronique Benzaken

Proceedings of the Programming Languages and Systems, 2015

2014

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Optimizing XML querying using type-based document projection.

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen

ACM Trans. Database Syst., 2013

Static and dynamic semantics of NoSQL languages.

Véronique Benzaken, Giuseppe Castagna, Kim Nguyen, Jérôme Siméon

Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2010

XPath Whole Query Optimization.

Sebastian Maneth, Kim Nguyen

Proc. VLDB Endow., 2010

2009

Fast In-Memory XPath Search over Compressed Text and Tree Indexes

Diego Arroyuelo, Francisco Claude, Sebastian Maneth, Veli Mäkinen, Gonzalo Navarro, Kim Nguyen, Jouni Sirén, Niko Välimäki

CoRR, 2009

2008

Typed iterators for XML.

Giuseppe Castagna, Kim Nguyen

Proceedings of the Proceeding of the 13th ACM SIGPLAN international conference on Functional programming, 2008

2006

Type-Based XML Projection.

Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen

Proceedings of the 22èmes Journées Bases de Données Avancées, 2006

2005

Computation of Chromatic Polynomials Using Triangulations and Clique Trees.

Pascal Berthomé, Sylvain Lebresne, Kim Nguyen

Proceedings of the Graph-Theoretic Concepts in Computer Science, 2005