BibSonomy publications for /author/Katayama/higher-order_functions http://www.bibsonomy.org/author/Katayama/higher-order_functions BibSonomy RSS Feed for /author/Katayama/higher-order_functions Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation http://www.bibsonomy.org/bibtex/2e5c3d3c550cd2e3b6f26d727584b8286/emanuel emanuel 2008-12-03T14:52:16+01:00 MagicHaskeller PolyGP comparison enumerative_ip higher-order_functions ifp induction inductive_programming program_synthesis
Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation
Susumu Katayama PRICAI'04: Trends in Artificial Intelligence 75--84 (2004)
to MagicHaskeller PolyGP comparison enumerative_ip higher-order_functions ifp induction inductive_programming program_synthesis by emanuel and 2 other people on 2008-12-03 14:52:16
]]> Systematic search for lambda expressions http://www.bibsonomy.org/bibtex/2eb13877cc0acb2ef294c951e272b71f9/emanuel emanuel 2008-04-21T17:52:32+02:00 MagicHaskeller enumerative_ip higher-order_functions ifp induction inductive_programming inproceedings program_synthesis recursion_schemes
Systematic search for lambda expressions
Susumu Katayama Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005 111--126 (2007)
to MagicHaskeller enumerative_ip higher-order_functions ifp induction inductive_programming inproceedings program_synthesis recursion_schemes by emanuel on 2008-04-21 17:52:32
]]>