Kim Nguyen

Orcid: 0000-0002-1729-870X

Affiliations:
  • Université Paris-Sud, Orsay, France


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

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Polymorphic Type Inference for Dynamic Languages.
Proc. ACM Program. Lang., January, 2024

2022
Revisiting occurrence typing.
Sci. Comput. Program., 2022

On type-cases, union elimination, and occurrence typing.
Proc. ACM Program. Lang., 2022

2018
Language-Integrated Queries: a BOLDR Approach.
Proceedings of the Companion of the The Web Conference 2018 on The Web Conference 2018, 2018

2016
Set-theoretic types for polymorphic variants.
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, 2016

2015
Fast in-memory XPath search using compressed indexes.
Softw. Pract. Exp., 2015

Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction.
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.
Proceedings of the Programming Languages and Systems, 2015

2014
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.
Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013
Optimizing XML querying using type-based document projection.
ACM Trans. Database Syst., 2013

Static and dynamic semantics of NoSQL languages.
Proceedings of the 40th Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2013

2010
XPath Whole Query Optimization.
Proc. VLDB Endow., 2010

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

2008
Typed Iterators for XML.
Proceedings of the PLAN-X 2008, 2008

2006
Type-Based XML Projection.
Proceedings of the 32nd International Conference on Very Large Data Bases, 2006

2005
Computation of Chromatic Polynomials Using Triangulations and Clique Trees.
Proceedings of the Graph-Theoretic Concepts in Computer Science, 2005


  Loading...