Login / Signup

Translating canonical SQL to imperative code in Coq.

Véronique BenzakenEvelyne ContejeanMohammed Houssem HachmaouiChantal KellerLouis MandelAvraham ShinnarJérôme Siméon
Published in: Proc. ACM Program. Lang. (2022)
Keyphrases