%0 Conference Paper %1 KiHo08 %A Kitzelmann, Emanuel %A Hofmann, Martin %B System Demonstrations of the 18th European Conference on Artificial Intelligence %D 2008 %K demo examples functional igor2 inductive masterthesis programming prototype synthesis %T Igor2 -- An Inductive Functional Programming Prototype

@inproceedings{KiHo08, added-at = {2013-02-17T16:38:47.000+0100}, author = {Kitzelmann, Emanuel and Hofmann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2516dfcc34c51385f0307739ce64bde08/kaptoxic}, booktitle = {System Demonstrations of the 18th European Conference on Artificial Intelligence}, interhash = {1a5686f0533e35374fa761d37e69df5c}, intrahash = {516dfcc34c51385f0307739ce64bde08}, keywords = {demo examples functional igor2 inductive masterthesis programming prototype synthesis}, timestamp = {2013-02-17T16:38:47.000+0100}, title = {Igor2 -- An Inductive Functional Programming Prototype}, year = 2008 }