Publications

1 result for Mohammed Houssem Hachmaoui

Translating canonical SQL to imperative code in Coq
- - Véronique Benzaken
  - Évelyne Contejean
  - et al.
- 2022
- Proceedings of the ACM on Programming Languages