%0 Journal Article %1 journals/corr/ChuWCS16 %A Chu, Shumo %A Weitz, Konstantin %A Cheung, Alvin %A Suciu, Dan %D 2016 %J CoRR %K %T HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics. %U http://dblp.uni-trier.de/db/journals/corr/corr1607.html#ChuWCS16 %V abs/1607.04822

@article{journals/corr/ChuWCS16, added-at = {2023-12-13T10:31:10.000+0100}, author = {Chu, Shumo and Weitz, Konstantin and Cheung, Alvin and Suciu, Dan}, biburl = {https://www.bibsonomy.org/bibtex/28f4ba90f263000139abf19616283030a/admin}, ee = {http://arxiv.org/abs/1607.04822}, interhash = {d8386d88ea46552a0e7b0b26b9c6a888}, intrahash = {8f4ba90f263000139abf19616283030a}, journal = {CoRR}, keywords = {}, timestamp = {2023-12-13T10:31:10.000+0100}, title = {HoTTSQL: Proving Query Rewrites with Univalent SQL Semantics.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1607.html#ChuWCS16}, volume = {abs/1607.04822}, year = 2016 }