%0 Conference Paper %1 conf/haskell/VazouSJ14 %A Vazou, Niki %A Seidel, Eric L. %A Jhala, Ranjit %B Haskell %D 2014 %E Swierstra, Wouter %I ACM %K dblp %P 39-51 %T LiquidHaskell: experience with refinement types in the real world. %U http://dblp.uni-trier.de/db/conf/haskell/haskell2014.html#VazouSJ14 %@ 978-1-4503-3041-1

@inproceedings{conf/haskell/VazouSJ14, added-at = {2018-11-06T00:00:00.000+0100}, author = {Vazou, Niki and Seidel, Eric L. and Jhala, Ranjit}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2c4557b2dbc7ce823c66f8941f9a4b519/dblp}, booktitle = {Haskell}, crossref = {conf/haskell/2014}, editor = {Swierstra, Wouter}, ee = {https://doi.org/10.1145/2633357.2633366}, interhash = {4dc5265879a6e5fcfb9c7ec260ef253e}, intrahash = {c4557b2dbc7ce823c66f8941f9a4b519}, isbn = {978-1-4503-3041-1}, keywords = {dblp}, pages = {39-51}, publisher = {ACM}, timestamp = {2019-09-27T20:54:25.000+0200}, title = {LiquidHaskell: experience with refinement types in the real world.}, url = {http://dblp.uni-trier.de/db/conf/haskell/haskell2014.html#VazouSJ14}, year = 2014 }