iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://dblp.org/rec/journals/corr/abs-2203-08941.xml
Véronique Benzaken Evelyne Contejean Mohammed Houssem Hachmaoui Chantal Keller Louis Mandel Avraham Shinnar Jérôme Siméon Translating Canonical SQL to Imperative Code in Coq. 2022 abs/2203.08941 CoRR https://doi.org/10.48550/arXiv.2203.08941 db/journals/corr/corr2203.html#abs-2203-08941