%0 Journal Article %1 journals/pacmpl/LiuPRK0V20 %A Liu, Yiyun %A Parker, James %A Redmond, Patrick %A Kuper, Lindsey %A Hicks, Michael %A Vazou, Niki %D 2020 %J Proc. ACM Program. Lang. %K dblp %N OOPSLA %P 216:1-216:30 %T Verifying replicated data types with typeclass refinements in Liquid Haskell. %U http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#LiuPRK0V20 %V 4

@article{journals/pacmpl/LiuPRK0V20, added-at = {2022-01-08T00:00:00.000+0100}, author = {Liu, Yiyun and Parker, James and Redmond, Patrick and Kuper, Lindsey and Hicks, Michael and Vazou, Niki}, biburl = {https://www.bibsonomy.org/bibtex/2af8a4ba324577428be3a46b448dbd843/dblp}, ee = {https://doi.org/10.1145/3428284}, interhash = {018f9e872e88670a8879da8b0976c7ec}, intrahash = {af8a4ba324577428be3a46b448dbd843}, journal = {Proc. ACM Program. Lang.}, keywords = {dblp}, number = {OOPSLA}, pages = {216:1-216:30}, timestamp = {2024-04-08T09:54:11.000+0200}, title = {Verifying replicated data types with typeclass refinements in Liquid Haskell.}, url = {http://dblp.uni-trier.de/db/journals/pacmpl/pacmpl4.html#LiuPRK0V20}, volume = 4, year = 2020 }