Publications

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
Static and dynamic semantics of NoSQL languages
- - Véronique Benzaken
  - Giuseppe Castagna
  - et al.
- 2013
- POPL 2013