Nombre de documents

10

CV de Kim Nguyen


Article dans une revue1 document

  • Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyễn. Optimizing XML Querying using Type-based Document Projection. ACM Transactions on Database (Weston, Conn.) Systems, 2013, 38 (1), pp.1-45. <hal-00798049>

Communication dans un congrès8 documents

  • Giuseppe Castagna, Tommaso Petrucciani, Kim Nguyen. Set-Theoretic Types for Polymorphic Variants. ACM SIGPLAN International Conference on Functional Programming, Sep 2016, Nara, Japan. ICFP 16, 21st ACM SIGPLAN International Conference on Functional Programming, 2016, <10.1145/2951913.2951928>. <hal-01325644v2>
  • Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Pietro Abate. Polymorphic Functions with Set-Theoretic Types. Part 2: Local Type Inference and Type Reconstruction. POPL '15 Proceedings of the 42nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Jan 2015, Mumbai, India. <10.1145/2676726.2676991>. <hal-00880744v4>
  • Giuseppe Castagna, Hyeonseung Im, Kim Nguyễn, Véronique Benzaken. A Core Calculus for XQuery 3.0: Combining Navigational and Pattern Matching Approaches. ESOP ’15 : 24th European Symposium on Programming, 2015, London, United Kingdom. 2015, <10.1007/978-3-662-46669-8_10>. <hal-01104872>
  • Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, et al.. Polymorphic Functions with Set-Theoretic Types. Part 1: Syntax, Semantics, and Evaluation. POPL '14, 41th ACM Symposium on Principles of Programming Languages, Jan 2014, San Diego, United States. pp.5-17, 2014, <10.1145/2535838.2535840>. <hal-00907166>
  • Véronique Benzaken, Giuseppe Castagna, Kim Nguyễn, Jérôme Siméon. Static and dynamic semantics of NoSQL languages. POPL, Jan 2013, Rome, Italy. pp.101-114, 2013, <10.1145/2429069.2429083>. <hal-00797956>
  • Giuseppe Castagna, Kim Nguyen. Typed iterators for XML. ICFP '08: 13th ACM SIGPLAN International Conference on Functional Programming, 2008, Canada. pp.15-26, 2008, <10.1145/1411204.1411210>. <hal-00336119>
  • Véronique Benzaken, Giuseppe Castagna, Dario Colazzo, Kim Nguyen. Type-Based XML Projection. 2006, ACM Press, pp.271-282, 2006. <hal-00152588>
  • Pascal Berthomé, Sylvain Lebresne, Kim Nguyen. Computation of Chromatic Polynomials Using Triangulations and Clique Trees. Kratsch, Dieter. WG 2005, Dec 2006, Metz, France. Springer, pp.362-373, 2006. <hal-00150806>

Autre publication1 document

  • Véronique Benzaken, Giuseppe Castagna, Julien Demouth, Alain Frisch, Cédric Miachon, et al.. ℂDuce User's Manual. Available at http://www.cduce.org/manual.html. 2011. <hal-00699615>