%0 Conference Paper %1 conf/haskell/Vazou022 %A Vazou, Niki %A Greenberg, Michael %B Haskell %D 2022 %E Polikarpova, Nadia %I ACM %K dblp %P 13-26 %T How to safely use extensionality in Liquid Haskell. %U http://dblp.uni-trier.de/db/conf/haskell/haskell2022.html#Vazou022 %@ 978-1-4503-9438-3

@inproceedings{conf/haskell/Vazou022, added-at = {2023-03-21T00:00:00.000+0100}, author = {Vazou, Niki and Greenberg, Michael}, biburl = {https://www.bibsonomy.org/bibtex/236a5d68b66f4b89407adee49e1da5f14/dblp}, booktitle = {Haskell}, crossref = {conf/haskell/2022}, editor = {Polikarpova, Nadia}, ee = {https://doi.org/10.1145/3546189.3549919}, interhash = {7daa1777747d6ca68d2816ff54c1424c}, intrahash = {36a5d68b66f4b89407adee49e1da5f14}, isbn = {978-1-4503-9438-3}, keywords = {dblp}, pages = {13-26}, publisher = {ACM}, timestamp = {2024-04-10T01:08:19.000+0200}, title = {How to safely use extensionality in Liquid Haskell.}, url = {http://dblp.uni-trier.de/db/conf/haskell/haskell2022.html#Vazou022}, year = 2022 }