%0 Conference Paper %1 conf/haskell/Gill06 %A Gill, Andy %B Haskell %D 2006 %E Löh, Andres %I ACM %K dblp %P 108-109 %T Introducing the Haskell equational reasoning assistant. %U http://dblp.uni-trier.de/db/conf/haskell/haskell2006.html#Gill06 %@ 1-59593-489-8

@inproceedings{conf/haskell/Gill06, added-at = {2018-11-06T00:00:00.000+0100}, author = {Gill, Andy}, biburl = {https://www.bibsonomy.org/bibtex/2d96dbba4ae5ba9afbd0ff735eede89e6/dblp}, booktitle = {Haskell}, crossref = {conf/haskell/2006}, editor = {Löh, Andres}, ee = {https://doi.org/10.1145/1159842.1159856}, interhash = {ec226e6fce9f540c8be1ce8c4f29fc9a}, intrahash = {d96dbba4ae5ba9afbd0ff735eede89e6}, isbn = {1-59593-489-8}, keywords = {dblp}, pages = {108-109}, publisher = {ACM}, timestamp = {2024-04-10T01:08:19.000+0200}, title = {Introducing the Haskell equational reasoning assistant.}, url = {http://dblp.uni-trier.de/db/conf/haskell/haskell2006.html#Gill06}, year = 2006 }