Enumerating Well-Typed Terms Generically

A. Rodriguez; J.T. Jeuring

Enumerating Well-Typed Terms Generically

A. Rodriguez
, J.T. Jeuring

extern

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

Original language	English
Title of host publication	Proceedings of AAIP 2009: workshop on Approaches and Applications of Inductive Programming
Editors	Ute Schmid, Emanuel Kitzelmann, Rinus Plasmeijer
Publisher	Springer
Pages	93-116
Number of pages	24
Publication status	Published - 2010

Publication series

Name	Lecture Notes in Computer Science
Publisher	Springer
Volume	5812

Cite this

@inproceedings{b4022053709c47298a9bb0457e57952e,

title = "Enumerating Well-Typed Terms Generically",

author = "A. Rodriguez and J.T. Jeuring",

year = "2010",

language = "English",

series = "Lecture Notes in Computer Science",

publisher = "Springer",

pages = "93--116",

editor = "Ute Schmid and Emanuel Kitzelmann and Rinus Plasmeijer",

booktitle = "Proceedings of AAIP 2009: workshop on Approaches and Applications of Inductive Programming",

}

Enumerating Well-Typed Terms Generically. / Rodriguez, A.; Jeuring, J.T.
Proceedings of AAIP 2009: workshop on Approaches and Applications of Inductive Programming. ed. / Ute Schmid; Emanuel Kitzelmann; Rinus Plasmeijer. Springer, 2010. p. 93-116 (Lecture Notes in Computer Science; Vol. 5812).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

TY - GEN

T1 - Enumerating Well-Typed Terms Generically

AU - Rodriguez, A.

AU - Jeuring, J.T.

PY - 2010

Y1 - 2010

M3 - Conference contribution

T3 - Lecture Notes in Computer Science

SP - 93

EP - 116

BT - Proceedings of AAIP 2009: workshop on Approaches and Applications of Inductive Programming

A2 - Schmid, Ute

A2 - Kitzelmann, Emanuel

A2 - Plasmeijer, Rinus

PB - Springer

ER -