Kim Nguyen

20
Documents

Publications

Publications

Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

The French Pregnancy Cohort: Medication use during pregnancy in the French population

Anick Bérard , Fatima Abbas-Chorfa , Behrouz Kassai , Thierry Vial , Kim Nguyen et al.

PLoS ONE, 2019, 14 (7), pp.e0219095. ⟨10.1371/journal.pone.0219095⟩

Article dans une revue inserm-02265169v1
Deposit thumbnail

Fast in-memory XPath search using compressed indexes

Diego Arroyuelo , Francisco Claude , Sebastian Maneth , Veli Mäkinen , Gonzalo Navarro et al.

Software: Practice and Experience, 2015, 45 (3), pp.399-434. ⟨10.1002/spe.2227⟩

Article dans une revue hal-00947659v1
Deposit thumbnail

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
Deposit thumbnail

Language-Integrated Queries: a BOLDR Approach

Véronique Benzaken , Giuseppe Castagna , Laurent Daynes , Julien Lopez , Kim Nguyen et 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
Deposit thumbnail

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
Deposit thumbnail

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
Deposit thumbnail

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 et 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
Deposit thumbnail

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