Kim Nguyen
19
Documents
Publications
|
|
Polymorphic Type Inference for Dynamic LanguagesProceedings of the ACM on Programming Languages, inPress, 8 (POPL), pp.40. ⟨10.1145/3632882⟩
Journal articles
hal-04284072v1
|
|
|
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⟩
Journal articles
hal-03426711v2
|
|
|
Revisiting Occurrence TypingScience of Computer Programming, 2022, 217 (102781), ⟨10.1016/j.scico.2022.102781⟩
Journal articles
hal-02181137v5
|
|
|
The French Pregnancy Cohort: Medication use during pregnancy in the French populationPLoS ONE, 2019, 14 (7), pp.e0219095. ⟨10.1371/journal.pone.0219095⟩
Journal articles
inserm-02265169v1
|
|
|
Fast in-memory XPath search using compressed indexesSoftware: Practice and Experience, 2015, 45 (3), pp.399-434. ⟨10.1002/spe.2227⟩
Journal articles
hal-00947659v1
|
|
|
Optimizing XML Querying using Type-based Document ProjectionACM Transactions on Database Systems, 2013, 38 (1), pp.1-45
Journal articles
hal-00798049v1
|
|
|
Language-Integrated Queries: a BOLDR ApproachWWW 2018 - International World Wide Web Conference, Apr 2018, Lyon, France. pp.1-16, ⟨10.1145/3184558.3185973⟩
Conference papers
hal-01717995v2
|
|
|
Set-Theoretic Types for Polymorphic VariantsACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ⟨10.1145/2951913.2951928⟩
Conference papers
hal-01325644v2
|
|
|
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⟩
Conference papers
hal-00880744v4
|
|
|
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⟩
Conference papers
hal-01104872v1
|
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⟩
Conference papers
hal-00907166v1
|
|
|
|
Static and dynamic semantics of NoSQL languagesPOPL, Jan 2013, Rome, Italy. pp.101-114, ⟨10.1145/2429069.2429083⟩
Conference papers
hal-00797956v1
|
Typed iterators for XMLICFP '08: 13th ACM SIGPLAN International Conference on Functional Programming, 2008, Canada. pp.15-26, ⟨10.1145/1411204.1411210⟩
Conference papers
hal-00336119v1
|
|
Type-Based XML Projection2006, pp.271-282
Conference papers
hal-00152588v1
|
|
Computation of Chromatic Polynomials Using Triangulations and Clique TreesWG 2005, Dec 2006, Metz, France. pp.362-373
Conference papers
hal-00150806v1
|
Informatique - MP2I/MPI - CPGE 1re et 2e années - Cours et exercices corrigésEllipses, pp.1116, 2022, 9782340070349
Books
hal-03886751v1
|
|
Numérique et Sciences Informatiques, 24 leçons avec exercices corrigés. TerminaleEllipses, pp.526, 2020, 9782340038554
Books
hal-03023099v1
|
|
Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première.Ellipses, 2019
Books
hal-02379073v1
|
ℂDuce User's Manual2011
Other publications
hal-00699615v1
|