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/pacmpl/AuerbachHMSS17.xml
Joshua S. Auerbach Martin Hirzel Louis Mandel Avraham Shinnar Jérôme Siméon Prototyping a query compiler using Coq (experience report). 9:1-9:15 2017 1 Proc. ACM Program. Lang. ICFP https://doi.org/10.1145/3110253 https://www.wikidata.org/entity/Q122280314 db/journals/pacmpl/pacmpl1.html#AuerbachHMSS17