Inductive synthesis of recursive functional programs (poster abstract)

• Authors:

• Bjarte M. Østvold

• Affiliations:

• Department of Computer and Information Science, Norwegian University of Science and Technology, Gloshaugen, N-7034 Trondheim, Norway

• Venue:
• ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
• Year:
• 1997