Travelled to:1 × Canada
1 × India
1 × Italy
1 × Korea
1 × USA
1 × United Kingdom
Collaborated with:G.Castagna V.Benzaken S.Maneth H.Im Z.Xu P.Abate J.Siméon D.Colazzo S.Lenglet L.Padovani F.V.C.Ficarra P.Mishra B.Nonnecke J.Preece G.Marchionini
Talks about:type (6) polymorph (2) function (2) theoret (2) semant (2) queri (2) evalu (2) part (2) xml (2) set (2)
Person: Kim Nguyen
DBLP: Nguyen:Kim
Contributed to:
2015
201520142013
2010
20082006
1996Wrote 8 papers:
- ESOP-2015-CastagnaI0B #calculus #pattern matching #xquery
- A Core Calculus for XQuery 3.0 — Combining Navigational and Pattern Matching Approaches (GC, HI, KN, VB), pp. 232–256.
- POPL-2015-Castagna0XA #polymorphism #re-engineering #type inference
- Polymorphic Functions with Set-Theoretic Types: Part 2: Local Type Inference and Type Reconstruction (GC, KN, ZX, PA), pp. 289–302.
- POPL-2014-Castagna0XILP #evaluation #polymorphism #semantics #syntax
- Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation (GC, KN, ZX, HI, SL, LP), pp. 5–18.
- POPL-2013-BenzakenCNS #semantics
- Static and dynamic semantics of NoSQL languages (VB, GC, KN, JS), pp. 101–114.
- VLDB-2010-ManethN #optimisation #query #xpath
- XPath Whole Query Optimization (SM, KN), pp. 882–893.
- ICFP-2008-CastagnaN #xml
- Typed iterators for XML (GC, KN), pp. 15–26.
- VLDB-2006-BenzakenCCN #type system #xml
- Type-Based XML Projection (VB, GC, DC, KN), pp. 271–282.
- HT-1996-FicarraMNNPM #evaluation
- Evaluation (FVCF, PM, KN, BN, JP, GM), p. 260.