{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T15:34:11Z","timestamp":1725550451695},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642119309"},{"type":"electronic","value":"9783642119316"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11931-6_2","type":"book-chapter","created":{"date-parts":[[2010,3,25]],"date-time":"2010-03-25T06:42:44Z","timestamp":1269499364000},"page":"25-49","source":"Crossref","is-referenced-by-count":0,"title":["Synthesis of Functions Using Generic Programming"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Koopman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"http:\/\/en.wikipedia.org\/wiki\/planet"},{"key":"2_CR2","unstructured":"Alimarine, A., Smetsers, S.: Efficient generic functional programming. Technical report niii-r0425, Institute for Computing and Information Sciences, Radboud University Nijmegen, The Netherlands (2004)"},{"issue":"3","key":"2_CR3","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1145\/24039.24071","volume":"9","author":"D. Banerjee","year":"1987","unstructured":"Banerjee, D.: A methodology for synthesis of recursive functional programs. ACM Transactions on Programming Languages and Systems (TOPLAS)\u00a09(3), 441\u2013462 (1987)","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"key":"2_CR4","volume-title":"Introduction to functional programming using Haskell","author":"R. Bird","year":"1998","unstructured":"Bird, R.: Introduction to functional programming using Haskell, 2nd edn. Prentice Hall, Englewood Cliffs (1998)","edition":"2"},{"key":"2_CR5","first-page":"268","volume-title":"Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the 5th ACM SIGPLAN International Conference on Functional Programming, Montreal, Canada, pp. 268\u2013279. ACM Press, New York (2000)"},{"key":"2_CR6","volume-title":"Watch what I do: programming by demonstration","author":"A. Cypher","year":"1993","unstructured":"Cypher, A.: Watch what I do: programming by demonstration. MIT Press, Cambridge (1993)"},{"key":"2_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1007\/978-3-642-11931-6_4","volume-title":"AAIP 2009","author":"R. Henderson","year":"2010","unstructured":"Henderson, R.: Incremental learning in inductive programming. In: Schmid, U., Kitzelmann, E., Plasmeijer, R. (eds.) AAIP 2009. LNCS, vol.\u00a05812, pp. 74\u201392. Springer, Heidelberg (2010)"},{"key":"2_CR8","unstructured":"Katayama, S.: Systematic search for lambda expressions. In: Proceedings of the 6th Symposium on Trends in Functional Programming (TFP 2005), pp. 195\u2013205 (2005)"},{"key":"2_CR9","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-89197-0_21","volume-title":"PRICAI 2008: Trends in Artificial Intelligence","author":"S. Katayama","year":"2008","unstructured":"Katayama, S.: Efficient exhaustive generation of functional programs using monte-carlo search with iterative deepening. In: Ho, T.-B., Zhou, Z.-H. (eds.) PRICAI 2008. LNCS (LNAI), vol.\u00a05351, pp. 199\u2013210. Springer, Heidelberg (2008)"},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/11894100_2","volume-title":"Central European Functional Programming School","author":"P. Koopman","year":"2006","unstructured":"Koopman, P., Plasmeijer, R.: Fully automatic testing with functions as specifications. In: Horv\u00e1th, Z. (ed.) CEFP 2005. LNCS, vol.\u00a04164, pp. 35\u201361. Springer, Heidelberg (2006)"},{"key":"2_CR11","unstructured":"Koopman, P., Plasmeijer, R.: Systematic synthesis of functions. In: Nilsson, H. (ed.) Selected Papers of the 7th Symposium on Trends in Functional Programming, TFP 2006, Nottingham, UK, April 19-21, pp. 68\u201383 (2006), Intellect Books, ISBN 978-1-84150-188-8"},{"key":"2_CR12","unstructured":"Koopman, P., Plasmeijer, R.: Systematic synthesis of \u03bb-terms. In: Barendsen, E., Capretta, V., Geuvers, H., Niqui, M. (eds.) Reflections on Type Theory, \u03bb-Calculus, and the Mind - Essays dedicated to Henk Barendregt on the Occasion of his 60th Birthday, December 17, pp. 211\u2013222 (2007) ISBN 978-90-9022446-6"},{"key":"2_CR13","unstructured":"Plasmeijer, R., van Eekelen, M.: Concurrent Clean language report (version 2.0) (December 2001), \n                    \n                      http:\/\/www.cs.ru.nl\/~clean\/"},{"key":"2_CR14","series-title":"Lecture Notes in Artificial Intelligence","volume-title":"Inductive Synthesis of Functional Programs","year":"2003","unstructured":"Schmid, U. (ed.): Inductive Synthesis of Functional Programs. LNCS (LNAI), vol.\u00a02654. Springer, Heidelberg (2003)"}],"container-title":["Lecture Notes in Computer Science","Approaches and Applications of Inductive Programming"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11931-6_2.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,30]],"date-time":"2021-04-30T08:00:33Z","timestamp":1619769633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11931-6_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119309","9783642119316"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11931-6_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}