default search action

combined dblp search
author search
venue search
publication search

ask others

3rd AAIP@ICFP 2009: Edinburgh, UK

> Home > Conferences and Workshops > AAIP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/aaip/2009
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/2009
Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer:
Approaches and Applications of Inductive Programming, Third International Workshop, AAIP 2009, Edinburgh, UK, September 4, 2009. Revised Papers. Lecture Notes in Computer Science 5812, Springer 2010, ISBN 978-3-642-11930-9

Invited Papers

- view
  authority control:
- export record
  dblp key:
  - conf/aaip/Mitchell09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/Mitchell09
Neil Mitchell:
Deriving a Relationship from a Single Example. 1-24
- view
  authority control:
- export record
  dblp key:
  - conf/aaip/KoopmanP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/KoopmanP09
Pieter W. M. Koopman, Rinus Plasmeijer:
Synthesis of Functions Using Generic Programming. 25-49

Regular Papers

- view
  authority control:
- export record
  dblp key:
  - conf/aaip/Kitzelmann09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/Kitzelmann09
Emanuel Kitzelmann:
Inductive Programming: A Survey of Program Synthesis Techniques. 50-73
- view
  authority control:
- export record
  dblp key:
  - conf/aaip/Henderson09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/Henderson09
Robert Henderson:
Incremental Learning in Inductive Programming. 74-92
- view
  authority control:
- export record
  dblp key:
  - conf/aaip/YakushevJ09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/YakushevJ09
Alexey Rodriguez Yakushev, Johan Jeuring:
Enumerating Well-Typed Terms Generically. 93-116
- view
  authority control:
- export record
  dblp key:
  - conf/aaip/EstruchFHR09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/EstruchFHR09
Vicent Estruch, César Ferri, José Hernández-Orallo, M. José Ramírez-Quintana:
Generalisation Operators for Lists Embedded in a Metric Space. 117-139
- view
  authority control:
- export record
  dblp key:
  - conf/aaip/HofmannKS09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/HofmannKS09
Martin Hofmann, Emanuel Kitzelmann, Ute Schmid:
Porting IgorII from Maude to Haskell. 140-158
- view
  authority control:
- export record
  dblp key:
  - conf/aaip/HieberH09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/HieberH09
Thomas Hieber, Martin Hofmann:
Automated Method Induction: Functional Goes Object Oriented. 159-173
- view
  authority control:
- export record
  dblp key:
  - conf/aaip/Katayama09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aaip/Katayama09
Susumu Katayama:
Recent Improvements of MagicHaskeller. 174-193

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.