%0 Conference Paper %1 Hofmann:2010:IAI:1706356.1706364 %A Hofmann, Martin %B Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation %C New York, NY, USA %D 2010 %I ACM %K demo examples functional igor2 inductive programming synthesis %P 29--32 %R 10.1145/1706356.1706364 %T IGOR2 - an analytical inductive functional programming system: tool demo %U http://doi.acm.org/10.1145/1706356.1706364 %@ 978-1-60558-727-1

@inproceedings{Hofmann:2010:IAI:1706356.1706364, acmid = {1706364}, added-at = {2013-02-17T16:36:32.000+0100}, address = {New York, NY, USA}, author = {Hofmann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/23b3488c96c578e013f89130656b50431/kaptoxic}, booktitle = {Proceedings of the 2010 ACM SIGPLAN workshop on Partial evaluation and program manipulation}, doi = {10.1145/1706356.1706364}, interhash = {95253fa1cb8ec424ad62f1479bd80c04}, intrahash = {3b3488c96c578e013f89130656b50431}, isbn = {978-1-60558-727-1}, keywords = {demo examples functional igor2 inductive programming synthesis}, location = {Madrid, Spain}, numpages = {4}, pages = {29--32}, publisher = {ACM}, series = {PEPM '10}, timestamp = {2013-02-17T16:36:32.000+0100}, title = {IGOR2 - an analytical inductive functional programming system: tool demo}, url = {http://doi.acm.org/10.1145/1706356.1706364}, year = 2010 }