Emanuel Kitzelmann, Ute Schmid, Martin Mühlpfordt, Fritz Wysotzki. Inductive Synthesis of Functional Programs. In Jacques Calmet, Belaid Benhamou, Olga Caprotti, Laurent Henocque, Volker Sorge, editors, Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings. Volume 2385 of Lecture Notes in Computer Science, pages 26-37, Springer, 2002. [doi]
@inproceedings{KitzelmannSMW02,
title = {Inductive Synthesis of Functional Programs},
author = {Emanuel Kitzelmann and Ute Schmid and Martin Mühlpfordt and Fritz Wysotzki},
year = {2002},
url = {http://link.springer.de/link/service/series/0558/bibs/2385/23850026.htm},
tags = {functional programming},
researchr = {https://researchr.org/publication/KitzelmannSMW02},
cites = {0},
citedby = {0},
pages = {26-37},
booktitle = {Artificial Intelligence, Automated Reasoning, and Symbolic Computation, Joint International Conferences, AISC 2002 and Calculemus 2002, Marseille, France, July 1-5, 2002, Proceedings},
editor = {Jacques Calmet and Belaid Benhamou and Olga Caprotti and Laurent Henocque and Volker Sorge},
volume = {2385},
series = {Lecture Notes in Computer Science},
publisher = {Springer},
isbn = {3-540-43865-3},
}