Inproceedings,

Analysis and Evaluation of Inductive Programming Systems in a Higher-Order Framework.

, , and .
KI, volume 5243 of Lecture Notes in Computer Science, page 78-86. Springer, (2008)

Meta data

Tags

Users

  • @emanuel
  • @dblp

Comments and Reviews