{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T17:47:30Z","timestamp":1725472050508},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540489375"},{"type":"electronic","value":"9783540489382"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11924661_9","type":"book-chapter","created":{"date-parts":[[2006,10,27]],"date-time":"2006-10-27T13:42:39Z","timestamp":1161956559000},"page":"148-164","source":"Crossref","is-referenced-by-count":7,"title":["Automatic Testing of Higher Order Functions"],"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":"9_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"168","DOI":"10.1007\/3-540-46028-4_11","volume-title":"Implementation of Functional Languages","author":"A. Alimarine","year":"2002","unstructured":"Alimarine, A., Plasmeijer, R.: A Generic Programming Extension for Clean. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, pp. 168\u2013185. Springer, Heidelberg (2002)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/351240.351266","volume-title":"ICFP","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: A lightweight Tool for Random Testing of Haskell Programs. In: ICFP, pp. 268\u2013279. ACM, New York (2000)"},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Danvy, O., Nielsen, L.R.: Defunctionalization at Work. In: PPDP 2001 Proceedings, pp. 162\u2013174 (2001)","DOI":"10.1145\/773184.773202"},{"key":"9_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/3-540-48515-5_8","volume-title":"Implementation of Functional Languages","author":"P. Koopman","year":"1999","unstructured":"Koopman, P., Plasmeijer, R.: Efficient Combinator Parsers. In: Hammond, K., Davie, T., Clack, C. (eds.) IFL 1998. LNCS, vol.\u00a01595, pp. 120\u2013136. Springer, Heidelberg (1999)"},{"key":"9_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"84","DOI":"10.1007\/3-540-44854-3_6","volume-title":"Implementation of Functional Languages","author":"P. Koopman","year":"2003","unstructured":"Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic Automated Software Testing. In: Pe\u00f1a, R., Arts, T. (eds.) IFL 2002. LNCS, vol.\u00a02670, pp. 84\u2013100. Springer, Heidelberg (2003)"},{"key":"9_CR6","unstructured":"Koopman, P., Plasmeijer, R.: Generic Generation of Elements of Types. In: Sixth Symposium on Trends in Functional Programming (TFP 2005) (2005)"},{"key":"9_CR7","unstructured":"Malcom, G.: Algebraic Data Types and Program Transformations, Thesis (1990)"},{"key":"9_CR8","unstructured":"Plasmeijer, R., van Eekelen, M.: Concurrent Clean Language Report (version 2.1.1) (2005), \n                    \n                      www.cs.ru.nl\/~clean"},{"issue":"4","key":"9_CR9","doi-asserted-by":"publisher","first-page":"363","DOI":"10.1023\/A:1010027404223","volume":"11","author":"J.C. Reynolds","year":"1998","unstructured":"Reynolds, J.C.: Definitional interpreters for higher-order programming languages. Higher-Order and Symbolic Computation\u00a011(4), 363\u2013397 (1998); Reprinted from the Proceedings of the 25th ACM National Conference (1972)","journal-title":"Higher-Order and Symbolic Computation"},{"key":"9_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Advanced Functional Programming","author":"P. Wadler","year":"1995","unstructured":"Wadler, P.: Monads for functional programming. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol.\u00a0925. Springer, Heidelberg (1995)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11924661_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T07:45:13Z","timestamp":1619509513000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11924661_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540489375","9783540489382"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/11924661_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2006]]}}}