{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T22:34:47Z","timestamp":1725489287963},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540741299"},{"type":"electronic","value":"9783540741305"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74130-5_13","type":"book-chapter","created":{"date-parts":[[2007,8,13]],"date-time":"2007-08-13T15:32:56Z","timestamp":1187019176000},"page":"217-234","source":"Crossref","is-referenced-by-count":1,"title":["Testing Properties of Generic Functions"],"prefix":"10.1007","author":[{"given":"Patrik","family":"Jansson","sequence":"first","affiliation":[]},{"given":"Johan","family":"Jeuring","sequence":"additional","affiliation":[]},{"given":"Laurence","family":"Cabenda","sequence":"additional","affiliation":[]},{"given":"Gerbo","family":"Engels","sequence":"additional","affiliation":[]},{"given":"Jacob","family":"Kleerekoper","sequence":"additional","affiliation":[]},{"given":"Sander","family":"Mak","sequence":"additional","affiliation":[]},{"given":"Michiel","family":"Overeem","sequence":"additional","affiliation":[]},{"given":"Kees","family":"Visser","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Test-Driven Development by Example","author":"K. Beck","year":"2003","unstructured":"Beck, K.: Test-Driven Development by Example. Addison-Wesley, Reading (2003)"},{"key":"13_CR2","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/351240.351266","volume-title":"ICFP 2000","author":"K. Claessen","year":"2000","unstructured":"Claessen, K., Hughes, J.: QuickCheck: A lightweight tool for random testing of Haskell programs. In: ICFP 2000, pp. 268\u2013279. ACM Press, New York (2000)"},{"key":"13_CR3","unstructured":"Hinze, R.: Generic Programs and Proofs. Bonn University, Habilitation (2000)"},{"key":"13_CR4","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Generic Programming","author":"R. Hinze","year":"2003","unstructured":"Hinze, R., Jeuring, J.: Generic Haskell: practice and theory. In: Backhouse, R., Gibbons, J. (eds.) Generic Programming. LNCS, vol.\u00a02793, pp. 1\u201356. Springer, Heidelberg (2003)"},{"key":"13_CR5","unstructured":"Hinze, R., Jeuring, J., L\u00f6h, A.: Comparing approaches to generic programming in Haskell. Technical Report UU-CS-2006-022, ICS, Utrecht University, 2006. In: Datatype-Generic Programming, LNCS, Springer (to appear, 2007)"},{"key":"13_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/11783596_14","volume-title":"Mathematics of Program Construction","author":"S. Holdermans","year":"2006","unstructured":"Holdermans, S., Jeuring, J., L\u00f6h, A., Rodriguez, A.: Generic views on data types. In: Uustalu, T. (ed.) MPC 2006. LNCS, vol.\u00a04014, Springer, Heidelberg (2006)"},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"Jansson, P., Jeuring, J.: PolyLib \u2013 a polytypic function library. In: Workshop on Generic Programming, Marstrand (June 1998)","DOI":"10.1017\/S095679689800313X"},{"key":"13_CR8","series-title":"Lecture Notes in Computer Science","first-page":"84","volume-title":"Implementation of Functional Languages","author":"P. Koopman","year":"2002","unstructured":"Koopman, P., Alimarine, A., Tretmans, J., Plasmeijer, R.: Gast: Generic automated software testing. In: Arts, T., Mohnen, M. (eds.) IFL 2002. LNCS, vol.\u00a02312, pp. 84\u2013100. Springer, Heidelberg (2002)"},{"key":"13_CR9","unstructured":"Koopman, P., Plasmeijer, R.: Generic generation of elements of types. In: TFP\u201905, pp. 167\u2013179. Tallinn (2005)"},{"key":"13_CR10","unstructured":"L\u00f6h, A.: Exploring Generic Haskell. PhD thesis, Utrecht University (2004)"},{"key":"13_CR11","doi-asserted-by":"publisher","first-page":"141","DOI":"10.1145\/944705.944719","volume-title":"ICFP 2003","author":"A. L\u00f6h","year":"2003","unstructured":"L\u00f6h, A., Clarke, D., Jeuring, J.: Dependency-style Generic Haskell. In: Shivers, O. (ed.) ICFP 2003, pp. 141\u2013152. ACM Press, New York (2003)"},{"key":"13_CR12","unstructured":"L\u00f6h, A., Jeuring, J., Rodriguez, A.: (editors)\u00a0et al. The Generic Haskell user\u2019s guide, Version 1.60 - Diamond release. Technical Report UU-CS-2006-049, ICS, Utrecht University (2006)"},{"key":"13_CR13","volume-title":"Design by Contract: by example","author":"R. Mitchelland","year":"2002","unstructured":"Mitchelland, R., McKim, J.: Design by Contract: by example. Addison-Wesley, Reading (2002)"},{"key":"13_CR14","volume-title":"The Revised Report","author":"S. Peyton Jones","year":"2003","unstructured":"Peyton Jones, S., et al.: Haskell 98, Language and Libraries. In: The Revised Report, Cambridge University Press, Cambridge (2003)"},{"key":"13_CR15","unstructured":"Plasmeijer, R., van Eekelen, M.: Clean Language Report version 2.1 (2005)"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74130-5_13","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T01:08:51Z","timestamp":1558487331000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74130-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540741299","9783540741305"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74130-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}