BibSonomy
::
user
::
emanuel
::
tag
user
group
author
concept
BibTeX key
search:all
search:emanuel
A blue social bookmark and publication sharing system.
tags
·
relations
·
groups
·
popular
help
·
blog
·
about
username:
password:
login
·
register
bookmarks
(2)
<<
< 1 >
>>
lhs2TeX
generating Latex from Haskell code
to
latex
haskell
by
emanuel
on May 2, 2008, 1:04 PM
Readscheme.org - Functional Programming Resources
to
functional_programming
bibliography
programming
haskell
scheme
by
emanuel
on Apr 25, 2008, 9:52 AM
<<
< 1 >
>>
bookmarks per page:
5
10
20
50
100
publications
(1)
<<
< 1 >
>>
Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework
Martin
Hofmann
and Emanuel
Kitzelmann
and Ute
Schmid
31st German Conference on Artificial Intelligence,
Springer-Verlag,
(
2008
)
to appear .
to
analytical_ip
overview
higher-order_functions
experiment
iflp
machine_learning
enumerative_ip
ifp
induction
program_synthesis
haskell
inductive_programming
igor2
ilp
inproceedings
by
emanuel
on Jun 15, 2008, 8:58 AM
BibTeX
<<
< 1 >
>>
publications per page:
5
10
20
50
100
haskell
as tag from all users
haskell
as concept from emanuel
haskell
as concept from all users
related tags
+
bibliography
+
overview
+
machine_learning
+
inproceedings
+
inductive_programming
+
induction
+
ilp
+
igor2
+
ifp
+
iflp
relations
tags
MagicHaskeller
adate
analytical_ip
applications
article
ase
atre
automated_testing
bamberg
bibliography
blogs
book
cognition
cognitive_systems
cogsys
combilog
combinduce
community
comparison
constructor_systems
dblp
decidability
deductive_program_synthesis
dialogs
ebg
emanuel
enumerative_ip
experiment
extended_abstract
filp
flener
flip
foil
formal_methods
functional_programming
generic_programming
golem
haskell
higher-order_functions
horn-clauses
identification_in_the_limit
iflp
ifp
igor1
igor2
ilp
induction
inductive_programming
inproceedings
institute
ip-system
kestrel
kitzelmann
latex
lisp
logic
machine_learning
mastersthesis
maude
muggleton
olsson
overview
pac-learning
parallel_programming
position_paper
proceedings
progol
program_optimisation
program_synthesis
program_transformation
programming
proof-planning
quinlan
recursion_schemes
recursive_program_schemes
rewriting
rule-based_programming
scheme
semantics
seminal_paper
skeletons
smith
software_engineering
specware
subversion
survey
svn
syntax
synthesis_from_traces
techreport
term_paper
term_rewriting
thesys
tridiagonal_system_solver