%0 Journal Article %1 journals/pacmpl/BenzakenCHKMSS22 %A Benzaken, Véronique %A Contejean, Evelyne %A Hachmaoui, Mohammed Houssem %A Keller, Chantal %A Mandel, Louis %A Shinnar, Avraham %A Siméon, Jérôme %D 2022 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA %P 1-27 %T Translating canonical SQL to imperative code in Coq. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#BenzakenCHKMSS22 %V 6

@article{journals/pacmpl/BenzakenCHKMSS22, added-at = {2022-05-18T00:00:00.000+0200}, author = {Benzaken, Véronique and Contejean, Evelyne and Hachmaoui, Mohammed Houssem and Keller, Chantal and Mandel, Louis and Shinnar, Avraham and Siméon, Jérôme}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e45a40e31b49c8de68b000fa68f7ab33/dblp}, ee = {https://doi.org/10.1145/3527327}, interhash = {a845ee9729e18a9858571f2c3e2c59eb}, intrahash = {e45a40e31b49c8de68b000fa68f7ab33}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA}, pages = {1-27}, timestamp = {2022-06-02T06:07:11.000+0200}, title = {Translating canonical SQL to imperative code in Coq.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#BenzakenCHKMSS22}, volume = 6, year = 2022 }