%0 Journal Article %1 journals/pacmpl/AuerbachHMSS17 %A Auerbach, Joshua S. %A Hirzel, Martin %A Mandel, Louis %A Shinnar, Avraham %A Siméon, Jérôme %D 2017 %J Proc. ACM Program. Lang. %K dblp %N ICFP %P 9:1-9:15 %T Prototyping a query compiler using Coq (experience report). %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#AuerbachHMSS17 %V 1

@article{journals/pacmpl/AuerbachHMSS17, added-at = {2023-10-22T00:00:00.000+0200}, author = {Auerbach, Joshua S. and Hirzel, Martin and Mandel, Louis and Shinnar, Avraham and Siméon, Jérôme}, biburl = {https://www.bibsonomy.org/bibtex/2b08ac2a11630f9e54b4003c9a4c47e98/dblp}, ee = {https://www.wikidata.org/entity/Q122280314}, interhash = {2a22e151692d2ad11428b2fcb4a68cb7}, intrahash = {b08ac2a11630f9e54b4003c9a4c47e98}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {ICFP}, pages = {9:1-9:15}, timestamp = {2024-04-08T09:54:49.000+0200}, title = {Prototyping a query compiler using Coq (experience report).}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl1.html#AuerbachHMSS17}, volume = 1, year = 2017 }