sign in · help · news · about ·

BibSonomy :: user :: emanuel ::

tag user group author concept BibTeX key search:all search:emanuel

The blue social bookmark and publication sharing system.

>
|
<

bookmarks

(1)

<< < 1 > >>

MagicHaskeller: A Search-based Inductive Functional Programming System
to MagicHaskeller enumerative_ip higher-order_functions ifp induction inductive_programming ip-system program_synthesis by emanuel and 1 other user on Apr 21, 2008, 7:51 PM
(0)

<< < 1 > >>bookmarks per page: 5 10 20 50 100

RSS BibTeX RDF more

publications

(3)

<< < 1 > >>

Recent Improvements of MagicHaskeller
Susumu Katayama Approaches and Applications of Inductive Programming, 3rd International Workshop, AAIP'09, Revised Papers, volume 5812 of LNCS, page 174--193. Springer-Verlag, (2010)
to inductive_programming magichaskeller by emanuel on Apr 23, 2010, 6:13 PM
BibTeX (0)
Systematic Search for Lambda Expressions
Susumu Katayama Revised Selected Papers from the Sixth Symposium on Trends in Functional Programming, TFP 2005, 6, page 111--126. Intellect, (2007)
to MagicHaskeller enumerative_ip higher-order_functions ifp induction inductive_programming inproceedings program_synthesis recursion_schemes by emanuel on Dec 15, 2008, 5:36 PM
URL | BibTeX (0)
Power of Brute-Force Search in Strongly-Typed Inductive Functional Programming Automation
Susumu Katayama PRICAI'04: Trends in Artificial Intelligence, page 75--84. Springer-Verlag, (2004)
to MagicHaskeller PolyGP comparison enumerative_ip higher-order_functions ifp induction inductive_programming program_synthesis by emanuel and 2 other users on Dec 3, 2008, 2:52 PM
URL | BibTeX (0)

<< < 1 > >>publications per page: 5 10 20 50 100

a gripper