Publications

Translating canonical SQL to imperative code in Coq

• • Véronique Benzaken
  • Évelyne Contejean
  • et al.
• 2022
• Proceedings of the ACM on Programming Languages