Accéder directement au contenu

Véronique Benzaken

6
Documents

Présentation

Publications

"kim-nguyen"
Image document

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
Image document

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
Image document

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

Type-Based XML Projection

Véronique Benzaken , Giuseppe Castagna , Dario Colazzo , Kim Nguyen
2006, pp.271-282
Communication dans un congrès hal-00152588v1