BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Nguyen:Kim

Contributed to:

ESOP 20152015
POPL 20152015
POPL 20142014
POPL 20132013
VLDB 20102010
ICFP 20082008
VLDB 20062006
HT 19961996

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.