| Type-based XML projection V Benzaken, G Castagna, D Colazzo, K Nguyễn Proceedings of the 32nd international conference on Very large data bases …, 2006 | 68 | 2006 |
| Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation G Castagna, K Nguyen, Z Xu, H Im, S Lenglet, L Padovani Proceedings of the 41st annual ACM SIGPLAN-SIGACT symposium on Principles of …, 2014 | 61 | 2014 |
| Polymorphic functions with set-theoretic types: Part 2: Local type inference and type reconstruction G Castagna, K Nguyen, Z Xu, P Abate Proceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015 | 60 | 2015 |
| Fast in-memory XPath search using compressed indexes D Arroyuelo, F Claude, S Maneth, V Mäkinen, G Navarro, K Nguyễn, ... Software: Practice and Experience, 2013 | 60 | 2013 |
| Fast in-memory XPath search using compressed indexes D Arroyuelo, F Claude, S Maneth, V Maakinen, G Navarro, K Nguyễn, ... Data Engineering (ICDE), 2010 IEEE 26th International Conference on, 417-428, 2010 | 60* | 2010 |
| Static and Dynamic Semantics of NoSQL Languages V Benzaken, G Castagna, K Nguyễn, J Siméon POPL, 2013 | 56 | 2013 |
| Set-theoretic types for polymorphic variants G Castagna, T Petrucciani, K Nguyễn Proceedings of the 21st ACM SIGPLAN International Conference on Functional …, 2016 | 48 | 2016 |
| On type-cases, union elimination, and occurrence typing G Castagna, M Laurent, K Nguyễn, M Lutze Proceedings of the ACM on Programming Languages 6 (POPL), 1-31, 2022 | 28 | 2022 |
| XPath whole query optimization S Maneth, K Nguyễn Proceedings of the VLDB Endowment 3 (1-2), 882-893, 2010 | 20 | 2010 |
| Typed iterators for XML G Castagna, K Nguyễn ACM Sigplan Notices 43 (9), 15-26, 2008 | 18 | 2008 |
| Polymorphic type inference for dynamic languages G Castagna, M Laurent, K Nguyễn Proceedings of the ACM on Programming Languages 8 (POPL), 1179-1210, 2024 | 14 | 2024 |
| A core calculus for XQuery 3.0: combining navigational and pattern matching approaches G Castagna, H Im, K Nguyễn, V Benzaken European Symposium on Programming Languages and Systems, 232-256, 2015 | 8 | 2015 |
| Optimizing XML querying using type-based document projection V Benzaken, G Castagna, D Colazzo, K Nguyen ACM Transactions on Database Systems (TODS) 38 (1), 4, 2013 | 7 | 2013 |
| Langage de combinateurs pour XML: conception, typage, implantation K Nguyen Paris 11, 2008 | 6 | 2008 |
| Computation of chromatic polynomials using triangulations and clique trees P Berthomé, S Lebresne, K Nguyễn Graph-Theoretic Concepts in Computer Science, 362-373, 2005 | 6 | 2005 |
| Numérique et Sciences Informatiques, 30 leçons avec exercices corrigés. Première. T Balabonski, S Conchon, JC Filliâtre, K Nguyễn Ellipses, 2019 | 2 | 2019 |
| NoSQL Languages and Systems K Nguyễn NoSQL Data Models: Trends and Challenges 1, 1-20, 2018 | | 2018 |
| A core calculus for XQuery 3.0 G Castagna, H Im, K Nguyễn, V Benzaken Programming Languages and Systems, 232-256, 2015 | | 2015 |
| ℂDuce User's Manual V Benzaken, G Castagna, J Demouth, A Frisch, C Miachon, K Nguyen, ... | | 2011 |
| Une algèbre de filtrage pour le langage CDuce K Nguyễn Université Paris-Sud, 2004 | | 2004 |
Giuseppe CastagnaDirecteur de Recherche CNRS, Université Paris CitéVerified email at irif.fr
