{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T06:21:31Z","timestamp":1770272491681,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":30,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642119569","type":"print"},{"value":"9783642119576","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2010]]},"DOI":"10.1007\/978-3-642-11957-6_8","type":"book-chapter","created":{"date-parts":[[2010,3,7]],"date-time":"2010-03-07T19:55:38Z","timestamp":1267991738000},"page":"125-144","source":"Crossref","is-referenced-by-count":28,"title":["Testing Polymorphic Properties"],"prefix":"10.1007","author":[{"given":"Jean-Philippe","family":"Bernardy","sequence":"first","affiliation":[]},{"given":"Patrik","family":"Jansson","sequence":"additional","affiliation":[]},{"given":"Koen","family":"Claessen","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"8_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1007\/3-540-36576-1_2","volume-title":"Foundations of Software Science and Computational Structures","author":"M. Abbott","year":"2003","unstructured":"Abbott, M., Altenkirch, T., Ghani, N.: Categories of containers. In: Gordon, A.D. (ed.) FOSSACS 2003. LNCS, vol.\u00a02620, pp. 23\u201338. Springer, Heidelberg (2003)"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/1159789.1159792","volume-title":"Proc. of the 2006 ACM SIGPLAN workshop on Erlang","author":"T. Arts","year":"2006","unstructured":"Arts, T., Hughes, J., Johansson, J., Wiger, U.: Testing telecoms software with quviq QuickCheck. In: Proc. of the 2006 ACM SIGPLAN workshop on Erlang, pp. 2\u201310. ACM, New York (2006)"},{"key":"8_CR3","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1145\/1449814.1449829","volume-title":"Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications","author":"A.H. Bagge","year":"2008","unstructured":"Bagge, A.H., David, V., Haveraaen, M.: Axiom-based testing for C++. In: Companion to the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications, pp. 721\u2013722. ACM, New York (2008)"},{"key":"8_CR4","volume-title":"Algebra of programming","author":"R. Bird","year":"1997","unstructured":"Bird, R., de Moor, O.: Algebra of programming. Prentice-Hall, Englewood Cliffs (1997)"},{"issue":"2-3","key":"8_CR5","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/0304-3975(85)90135-5","volume":"39","author":"C. B\u00f6hm","year":"1985","unstructured":"B\u00f6hm, C., Berarducci, A.: Automatic synthesis of typed lambda-programs on term algebras. Theoretical Computer Science\u00a039(2-3), 135\u2013154 (1985)","journal-title":"Theoretical Computer Science"},{"key":"8_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/978-3-540-78969-7_23","volume-title":"Functional and Logic Programming","author":"J. Christiansen","year":"2008","unstructured":"Christiansen, J., Fischer, S.: EasyCheck \u2014 test data for free. In: Garrigue, J., Hermenegildo, M.V. (eds.) FLOPS 2008. LNCS, vol.\u00a04989, pp. 322\u2013336. Springer, Heidelberg (2008)"},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"268","DOI":"10.1145\/351240.351266","volume-title":"Proc. of the fifth 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: Proc. of the fifth ACM SIGPLAN international conference on Functional programming, pp. 268\u2013279. ACM, New York (2000)"},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1145\/1111037.1111056","volume-title":"POPL 2006","author":"N.A. Danielsson","year":"2006","unstructured":"Danielsson, N.A., Gibbons, J., Hughes, J., Jansson, P.: Fast and loose reasoning is morally correct. In: POPL 2006, pp. 206\u2013217. ACM Press, New York (2006)"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"162","DOI":"10.1145\/773184.773202","volume-title":"Proc. of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming","author":"O. Danvy","year":"2001","unstructured":"Danvy, O., Nielsen, L.R.: Defunctionalization at work. In: Proc. of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming, pp. 162\u2013174. ACM, New York (2001)"},{"key":"8_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511809088","volume-title":"Introduction to lattices and order","author":"B.A. Davey","year":"2002","unstructured":"Davey, B.A., Priestley, H.A.: Introduction to lattices and order. Cambridge University Press, Cambridge (2002)"},{"key":"8_CR11","unstructured":"Day, N.A., Launchbury, J., Lewis, J.: Logical abstractions in Haskell. In: Proc. of the 1999 Haskell Workshop (1999)"},{"key":"8_CR12","doi-asserted-by":"publisher","first-page":"284","DOI":"10.1145\/237721.237792","volume-title":"Proc. of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"L. Fegaras","year":"1996","unstructured":"Fegaras, L., Sheard, T.: Revisiting catamorphisms over datatypes with embedded functions (or, programs from outer space). In: Proc. of the 23rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 284\u2013294. ACM, New York (1996)"},{"issue":"01","key":"8_CR13","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0960129500000852","volume":"6","author":"M.M. Fokkinga","year":"1996","unstructured":"Fokkinga, M.M.: Datatype laws without signatures. Mathematical Structures in Computer Science\u00a06(01), 1\u201332 (1996)","journal-title":"Mathematical Structures in Computer Science"},{"key":"8_CR14","doi-asserted-by":"publisher","first-page":"223","DOI":"10.1145\/165180.165214","volume-title":"Proc. of the conference on Functional programming languages and computer architecture","author":"A. Gill","year":"1993","unstructured":"Gill, A., Launchbury, J., Peyton Jones, S.L.: A short cut to deforestation. In: Proc. of the conference on Functional programming languages and computer architecture, pp. 223\u2013232. ACM, New York (1993)"},{"issue":"01","key":"8_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796804005313","volume":"15","author":"R. Hinze","year":"2005","unstructured":"Hinze, R.: Church numerals, twice! J. of Funct. Program\u00a015(01), 1\u201313 (2005)","journal-title":"J. of Funct. Program"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Hoffman, D., Nair, J., Strooper, P.: Testing generic Ada packages with APE. Ada Lett.\u00a0XVIII(6), 255\u2013262 (1998)","DOI":"10.1145\/301687.289640"},{"key":"8_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-540-74130-5_13","volume-title":"Implementation and Application of Functional Languages","author":"P. Jansson","year":"2007","unstructured":"Jansson, P., Jeuring, J., Cabenda, L., Engels, G., Kleerekoper, J., Mak, S., Overeem, M., Visser, K.: Testing properties of generic functions. In: Horv\u00e1th, Z., Zs\u00f3k, V., Butterfield, A. (eds.) IFL 2006. LNCS, vol.\u00a04449, pp. 217\u2013234. Springer, Heidelberg (2007)"},{"key":"8_CR18","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1145\/964001.964010","volume-title":"Proc. of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"P. Johann","year":"2004","unstructured":"Johann, P., Voigtl\u00e4nder, J.: Free theorems in the presence of seq. In: Proc. of the 31st ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 99\u2013110. ACM, New York (2004)"},{"key":"8_CR19","series-title":"Sorting and Searching","volume-title":"The Art of Computer Programming","author":"D.E. Knuth","year":"1998","unstructured":"Knuth, D.E.: The Art of Computer Programming, 2nd edn. Sorting and Searching, vol.\u00a03. Addison-Wesley Professional, Reading (1998)","edition":"2"},{"key":"8_CR20","unstructured":"Nilsson, R.: ScalaCheck (2009), http:\/\/code.google.com\/p\/scalacheck\/"},{"issue":"1","key":"8_CR21","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1007\/s10990-006-8611-7","volume":"19","author":"F. Pottier","year":"2006","unstructured":"Pottier, F., Gauthier, N.: Polymorphic typed defunctionalization and concretization. Higher-Order Symbol. Comput.\u00a019(1), 125\u2013162 (2006)","journal-title":"Higher-Order Symbol. Comput."},{"issue":"4","key":"8_CR22","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 Symbol. Comput.\u00a011(4), 363\u2013397 (1998)","journal-title":"Higher Order Symbol. Comput."},{"key":"8_CR23","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1145\/1411286.1411292","volume-title":"Proc. of the first ACM SIGPLAN symposium on Haskell","author":"C. Runciman","year":"2008","unstructured":"Runciman, C., Naylor, M., Lindblad, F.: Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. In: Proc. of the first ACM SIGPLAN symposium on Haskell, pp. 37\u201348. ACM, New York (2008)"},{"key":"8_CR24","doi-asserted-by":"crossref","first-page":"846","DOI":"10.1145\/1297846.1297919","volume-title":"Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion","author":"D. Saff","year":"2007","unstructured":"Saff, D.: Theory-infected: or how i learned to stop worrying and love universal quantification. In: Companion to the 22nd ACM SIGPLAN conference on Object-oriented programming systems and applications companion, pp. 846\u2013847. ACM, New York (2007)"},{"key":"8_CR25","unstructured":"Sheeran, M.: Hardware design and functional programming: a perfect match. Talk at Hardware Design and Functional Languages (2007)"},{"key":"8_CR26","doi-asserted-by":"publisher","first-page":"124","DOI":"10.1145\/581478.581491","volume-title":"Proc. of the seventh ACM SIGPLAN international conference on Functional programming","author":"J. Svenningsson","year":"2002","unstructured":"Svenningsson, J.: Shortcut fusion for accumulating parameters & zip-like functions. In: Proc. of the seventh ACM SIGPLAN international conference on Functional programming, vol.\u00a037, pp. 124\u2013132. ACM, New York (2002)"},{"issue":"5","key":"8_CR27","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/1095430.1081749","volume":"30","author":"N. Tillmann","year":"2005","unstructured":"Tillmann, N., Schulte, W.: Parameterized unit tests. SIGSOFT Softw. Eng. Notes\u00a030(5), 253\u2013262 (2005)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"issue":"1","key":"8_CR28","doi-asserted-by":"publisher","first-page":"29","DOI":"10.1145\/1480828.1480832","volume":"43","author":"J. Voigtl\u00e4nder","year":"2008","unstructured":"Voigtl\u00e4nder, J.: Much ado about two (pearl): a pearl on parallel prefix computation. SIGPLAN Not.\u00a043(1), 29\u201335 (2008)","journal-title":"SIGPLAN Not."},{"key":"8_CR29","doi-asserted-by":"publisher","first-page":"347","DOI":"10.1145\/99370.99404","volume-title":"Proc. of the fourth international conference on Functional programming languages and computer architecture","author":"P. Wadler","year":"1989","unstructured":"Wadler, P.: Theorems for free! In: Proc. of the fourth international conference on Functional programming languages and computer architecture, pp. 347\u2013359. ACM, New York (1989)"},{"key":"8_CR30","doi-asserted-by":"publisher","first-page":"249","DOI":"10.1145\/944705.944728","volume-title":"Proc. of the eighth ACM SIGPLAN international conference on Functional programming","author":"G. Washburn","year":"2003","unstructured":"Washburn, G., Weirich, S.: Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. In: Proc. of the eighth ACM SIGPLAN international conference on Functional programming, pp. 249\u2013262. ACM, New York (2003)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-11957-6_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,10,24]],"date-time":"2021-10-24T07:12:38Z","timestamp":1635059558000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-11957-6_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642119569","9783642119576"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-11957-6_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010]]}}}