Documentation
Français (FR)

Anglais (EN)

Kim Nguyen

19

Documents

Publications

	Polymorphic Type Inference for Dynamic Languages Giuseppe Castagna , Mickaël Laurent , Kim Nguyen Proceedings of the ACM on Programming Languages, inPress, 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
	The French Pregnancy Cohort: Medication use during pregnancy in the French population Anick Bérard , Fatima Abbas-Chorfa , Behrouz Kassai , Thierry Vial , Kim Nguyen PLoS ONE, 2019, 14 (7), pp.e0219095. ⟨10.1371/journal.pone.0219095⟩ Article dans une revue inserm-02265169v1
	Fast in-memory XPath search using compressed indexes Diego Arroyuelo , Francisco Claude , Sebastian Maneth , Veli Mäkinen , Gonzalo Navarro 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

	Language-Integrated Queries: a BOLDR Approach Véronique Benzaken , Giuseppe Castagna , Laurent Daynes , Julien Lopez , Kim Nguyen 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
	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
	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 1: Syntax, Semantics, and Evaluation Giuseppe Castagna , Kim Nguyen , Zhiwu Xu , Hyeonseung Im , Sergueï Lenglet 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
	Type-Based XML Projection Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Kim Nguyen 2006, pp.271-282 Communication dans un congrès hal-00152588v1
	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

	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

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