Kim Nguyen

Publications

Article dans une revue (5)

Polymorphic Type Inference for Dynamic Languages Giuseppe Castagna,Mickaël Laurent,Kim Nguyen Proceedings of the ACM on Programming Languages, 2024, 8 (POPL), pp.40. ⟨10.1145/3632882⟩ Article dans une revue hal-04284072v1
Revisiting Occurrence Typing Giuseppe Castagna,Victor Lanvin,Mickaël Laurent,Kim Nguyen Science of Computer Programming, 2022, 217 (102781), ⟨10.1016/j.scico.2022.102781⟩ Article dans une revue hal-02181137v5
On Type-Cases, Union Elimination, and Occurrence Typing Giuseppe Castagna,Mickael Laurent,Kim Nguyen,Matthew Lutze Proceedings of the ACM on Programming Languages, 2022, 49th ACM SIGPLAN Symposium on Principles of Programming Languages, 6 (POPL), pp.75. ⟨10.1145/3498674⟩ Article dans une revue hal-03426711v2
Fast in-memory XPath search using compressed indexes Diego Arroyuelo,Francisco Claude,Sebastian Maneth,Veli Mäkinen,Gonzalo Navarroet al. Software: Practice and Experience, 2015, 45 (3), pp.399-434. ⟨10.1002/spe.2227⟩ Article dans une revue hal-00947659v1
Optimizing XML Querying using Type-based Document Projection Véronique Benzaken,Giuseppe Castagna,Dario Colazzo,Kim Nguyễn ACM Transactions on Database Systems, 2013, 38 (1), pp.1-45 Article dans une revue hal-00798049v1

Communication dans un congrès (9)

Language-Integrated Queries: a BOLDR Approach Véronique Benzaken,Giuseppe Castagna,Laurent Daynes,Julien Lopez,Kim Nguyenet al. WWW 2018 - International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩ Communication dans un congrès hal-01717995v2
Set-Theoretic Types for Polymorphic Variants Giuseppe Castagna,Tommaso Petrucciani,Kim Nguyen ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/2951913.2951928⟩ Communication dans un congrès hal-01325644v2
A Core Calculus for XQuery 3.0 Giuseppe Castagna,Hyeonseung Im,Kim Nguyễn,Véronique Benzaken ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. ⟨10.1007/978-3-662-46669-8_10⟩ Communication dans un congrès hal-01104872v1
Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction Giuseppe Castagna,Kim Nguyen,Zhiwu Xu,Pietro Abate POPL '15 Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. ⟨10.1145/2676726.2676991⟩ Communication dans un congrès hal-00880744v4
Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation Giuseppe Castagna,Kim Nguyen,Zhiwu Xu,Hyeonseung Im,Sergueï Lengletet al. POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, ⟨10.1145/2535838.2535840⟩ Communication dans un congrès hal-00907166v1
Static and dynamic semantics of NoSQL languages Véronique Benzaken,Giuseppe Castagna,Kim Nguyễn,Jérôme Siméon POPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩ Communication dans un congrès hal-00797956v1
Typed iterators for XML Giuseppe Castagna,Kim Nguyen ICFP '08: 13th ACM SIGPLAN International Conference on Functional Programming, 2008, Canada. pp.15-26, ⟨10.1145/1411204.1411210⟩ Communication dans un congrès hal-00336119v1
Computation of Chromatic Polynomials Using Triangulations and Clique Trees Pascal Berthomé,Sylvain Lebresne,Kim Nguyen WG 2005, Dec 2006, Metz, France. pp.362-373 Communication dans un congrès hal-00150806v1
Type-Based XML Projection Véronique Benzaken,Giuseppe Castagna,Dario Colazzo,Kim Nguyen 2006, pp.271-282 Communication dans un congrès hal-00152588v1

Ouvrages (3)

Informatique - MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigés Thibaut Balabonski,Sylvain Conchon,Jean-Christophe Filliâtre,Kim Nguyen,Laurent Sartre Ellipses, pp.1116, 2022, 9782340070349 Ouvrages hal-03886751v1
Numérique et Sciences Informatiques, 24 leçons avec exercices corrigés. Terminale Thibaut Balabonski,Sylvain Conchon,Jean-Christophe Filliâtre,Kim Nguyen Ellipses, pp.526, 2020, 9782340038554 Ouvrages hal-03023099v1
Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première. Thibaut Balabonski,Sylvain Conchon,Jean-Christophe Filliâtre,Kim Nguyễn Ellipses, 2019 Ouvrages hal-02379073v1

Autre publication scientifique (1)

ℂDuce User's Manual Véronique Benzaken,Giuseppe Castagna,Julien Demouth,Alain Frisch,Cédric Miachonet al. 2011 Autre publication scientifique hal-00699615v1

Pré-publication, Document de travail (1)

Implementing Set-Theoretic Types Mickaël Laurent,Kim Nguyen 2025 Pré-publication, Document de travail hal-05369012v2