%0 Conference Paper %1 conf/haskell/VazouBKHH18 %A Vazou, Niki %A Breitner, Joachim %A Kunkel, Rose %A Horn, David Van %A Hutton, Graham %B Haskell@ICFP %D 2018 %E Wu, Nicolas %I ACM %K dblp %P 132-144 %T Theorem proving for all: equational reasoning in liquid Haskell (functional pearl). %U http://dblp.uni-trier.de/db/conf/haskell/haskell2018.html#VazouBKHH18 %@ 978-1-4503-5835-4

@inproceedings{conf/haskell/VazouBKHH18, added-at = {2023-03-21T00:00:00.000+0100}, author = {Vazou, Niki and Breitner, Joachim and Kunkel, Rose and Horn, David Van and Hutton, Graham}, biburl = {https://www.bibsonomy.org/bibtex/20dc71bd383377026d02397e73cc9385a/dblp}, booktitle = {Haskell@ICFP}, crossref = {conf/haskell/2018}, editor = {Wu, Nicolas}, ee = {https://doi.org/10.1145/3299711.3242756}, interhash = {f8ea37e80abba6898f1cd27dd39ac139}, intrahash = {0dc71bd383377026d02397e73cc9385a}, isbn = {978-1-4503-5835-4}, keywords = {dblp}, pages = {132-144}, publisher = {ACM}, timestamp = {2024-04-10T01:08:14.000+0200}, title = {Theorem proving for all: equational reasoning in liquid Haskell (functional pearl).}, url = {http://dblp.uni-trier.de/db/conf/haskell/haskell2018.html#VazouBKHH18}, year = 2018 }