%0 Thesis %1 hofmann2010schemaguided %A Hofmann, Martin %D 2010 %K %T Schema-guided inductive functional programming through automatic detection of type morphisms

@phdthesis{hofmann2010schemaguided, added-at = {2023-12-12T20:18:18.000+0100}, author = {Hofmann, Martin}, biburl = {https://www.bibsonomy.org/bibtex/2f75b3f71727fac4f4c343c62516fe9a7/admin}, dnbtitleid = {1010445960}, interhash = {2d50d4bf0895907f724b104923d65573}, intrahash = {f75b3f71727fac4f4c343c62516fe9a7}, keywords = {}, school = {Uni Bamberg}, timestamp = {2023-12-12T20:18:18.000+0100}, title = {Schema-guided inductive functional programming through automatic detection of type morphisms}, year = 2010 }