%0 Conference Paper %1 conf/pepm/Hofmann10 %A Hofmann, Martin %B PEPM %D 2010 %E Gallagher, John P. %E Voigtländer, Janis %I ACM %K %P 29-32 %T IGOR2 - an analytical inductive functional programming system: tool demo. %U http://dblp.uni-trier.de/db/conf/pepm/pepm2010.html#Hofmann10 %@ 978-1-60558-727-1

@inproceedings{conf/pepm/Hofmann10, added-at = {2023-12-13T04:23:09.000+0100}, author = {Hofmann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/27adbea22ddf542f69cf3d029ef75678f/admin}, booktitle = {PEPM}, crossref = {conf/pepm/2010}, editor = {Gallagher, John P. and Voigtländer, Janis}, ee = {https://doi.org/10.1145/1706356.1706364}, interhash = {95253fa1cb8ec424ad62f1479bd80c04}, intrahash = {7adbea22ddf542f69cf3d029ef75678f}, isbn = {978-1-60558-727-1}, keywords = {}, pages = {29-32}, publisher = {ACM}, timestamp = {2023-12-13T04:23:09.000+0100}, title = {IGOR2 - an analytical inductive functional programming system: tool demo.}, url = {http://dblp.uni-trier.de/db/conf/pepm/pepm2010.html#Hofmann10}, year = 2010 }