Static and dynamic semantics of NoSQL languages
- Véronique Benzaken
- Giuseppe Castagna
- et al.
- 2013
- POPL 2013
Publications
Date
Featured collections
Popular topics
2 results for Véronique Benzaken
Translating canonical SQL to imperative code in Coq
- Véronique Benzaken
- Évelyne Contejean
- et al.
- 2022
- Proceedings of the ACM on Programming Languages