Kim Nguyen
Publications
Publications
|
|
Polymorphic Type Inference for Dynamic LanguagesProceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.40. ⟨10.1145/3632882⟩ |
|
|
Revisiting Occurrence TypingScience of Computer Programming, 2022, 217 (102781), ⟨10.1016/j.scico.2022.102781⟩ |
|
|
On Type-Cases, Union Elimination, and Occurrence TypingProceedings of the ACM on Programming Languages, 2022, 49th ACM SIGPLAN Symposium on Principles of Programming Languages, 6 (POPL), pp.75. ⟨10.1145/3498674⟩ |
|
|
The French Pregnancy Cohort: Medication use during pregnancy in the French populationPLoS ONE, 2019, 14 (7), pp.e0219095. ⟨10.1371/journal.pone.0219095⟩ |
|
|
Fast in-memory XPath search using compressed indexesSoftware: Practice and Experience, 2015, 45 (3), pp.399-434. ⟨10.1002/spe.2227⟩ |
|
|
Optimizing XML Querying using Type-based Document ProjectionACM Transactions on Database Systems, 2013, 38 (1), pp.1-45 |
|
|
Language-Integrated Queries: a BOLDR ApproachWWW 2018 - International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩ |
|
|
Set-Theoretic Types for Polymorphic VariantsACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/2951913.2951928⟩ |
|
|
Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type ReconstructionPOPL '15 Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676991⟩ |
|
|
A Core Calculus for XQuery 3.0ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_10⟩ |
Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and EvaluationPOPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩ |
|
|
|
Static and dynamic semantics of NoSQL languagesPOPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩ |
Typed iterators for XMLICFP '08: 13th ACM SIGPLAN International Conference on Functional Programming, 2008, Canada. pp.15-26, ⟨10.1145/1411204.1411210⟩ |
|
Computation of Chromatic Polynomials Using Triangulations and Clique TreesWG 2005, Dec 2006, Metz, France. pp.362-373 |
|
Type-Based XML Projection2006, pp.271-282 |
Informatique - MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigésEllipses, pp.1116, 2022, 9782340070349 |
|
Numérique et Sciences Informatiques, 24 leçons avec exercices corrigés. TerminaleEllipses, pp.526, 2020, 9782340038554 |
|
Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première.Ellipses, 2019 |
ℂDuce User's Manual2011 |
|
|
Implementing Set-Theoretic Types2025 |