%0 Journal Article %1 journals/pacmpl/LaddadPMCH22 %A Laddad, Shadaj %A Power, Conor %A Milano, Mae %A Cheung, Alvin %A Hellerstein, Joseph M. %D 2022 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA2 %P 1349-1377 %T Katara: synthesizing CRDTs with verified lifting. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#LaddadPMCH22 %V 6

@article{journals/pacmpl/LaddadPMCH22, added-at = {2022-12-05T00:00:00.000+0100}, author = {Laddad, Shadaj and Power, Conor and Milano, Mae and Cheung, Alvin and Hellerstein, Joseph M.}, biburl = {https://www.bibsonomy.org/bibtex/27c63c92dac78dfa1dfbe1d854a991b2e/dblp}, ee = {https://doi.org/10.1145/3563336}, interhash = {a9a4e5cbae754fce9ab6f22b35934f11}, intrahash = {7c63c92dac78dfa1dfbe1d854a991b2e}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA2}, pages = {1349-1377}, timestamp = {2024-04-08T09:54:33.000+0200}, title = {Katara: synthesizing CRDTs with verified lifting.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl6.html#LaddadPMCH22}, volume = 6, year = 2022 }