{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T04:13:40Z","timestamp":1648786420887},"reference-count":13,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2006,12,19]],"date-time":"2006-12-19T00:00:00Z","timestamp":1166486400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["JoLLI"],"published-print":{"date-parts":[[2007,2,22]]},"DOI":"10.1007\/s10849-006-9020-3","type":"journal-article","created":{"date-parts":[[2006,12,18]],"date-time":"2006-12-18T11:08:49Z","timestamp":1166440129000},"page":"221-232","source":"Crossref","is-referenced-by-count":0,"title":["Book Review"],"prefix":"10.1007","volume":"16","author":[{"given":"Ralf","family":"L\u00e4mmel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2006,12,19]]},"reference":[{"key":"9020_CR1","first-page":"1","volume-title":"3rd International summer school on advanced functional programming","author":"L. Augusteijn","year":"1998","unstructured":"Augusteijn L. (1998). Sorting morphisms. In: Swierstra S., Henriques P., Oliveira J. (eds). 3rd International summer school on advanced functional programming. Vol. 1608 of LNCS, Springer-Verlag, Berlin, pp. 1\u201327"},{"key":"9020_CR2","unstructured":"Barwise, J., & Etchemendy, J. (1999). Language, proof, and logic. Stanford, CA, USA: Center for the Study of Language and Information."},{"key":"9020_CR3","unstructured":"Barwise, J., & Moss, L. (1996) Vicious circles: on the mathematics of non-wellfounded phenomena. Stanford, CA, USA: Center for the Study of Language and Information."},{"key":"9020_CR4","doi-asserted-by":"crossref","unstructured":"Claessen, K., & Hughes, J. (2000). QuickCheck: a lightweight tool for random testing of Haskell programs. In: Proceedings of the ACM sigplan international conference on functional programming (ICFP-00), Vol. 35.9 of ACM sigplan notices, pp. 268\u2013279. NY: ACM Press.","DOI":"10.1145\/351240.351266"},{"key":"9020_CR5","volume-title":"Discrete mathematics using a computer","author":"C. Hall","year":"2006","unstructured":"Hall C., O\u2019Donnell J. (2006) Discrete mathematics using a computer, 2nd edn. Springer-Verlag, Berlin, to appear","edition":"2"},{"key":"9020_CR6","unstructured":"Hudak P. The Haskell school of expression: learning functional programming through multimedia. Cambridge University Press, Cambridge"},{"key":"9020_CR7","doi-asserted-by":"crossref","unstructured":"Kiselyov, O., L\u00e4mmel, R., & Schupke, K. (2004). Strongly typed heterogeneous collections. In: Haskell \u201904: proceedings of the ACM SIGPLAN workshop on Haskell, pp. 96\u2013107. New York: ACM Press.","DOI":"10.1145\/1017472.1017488"},{"key":"9020_CR8","doi-asserted-by":"crossref","unstructured":"Leijen, D., & Meijer, E. (1999) Domain specific embedded compilers. In: Proceedings of the 2nd conference on domain-Specific languages, pp. 109\u2013122. New York: ACM Press.","DOI":"10.1145\/331960.331977"},{"key":"9020_CR9","doi-asserted-by":"crossref","unstructured":"Meijer, E., Fokkinga, M., & Paterson, R. (1991). Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. In: FPCA91: Functional programming languages and computer architecture, Vol. 523 of LNCS, pp. 124\u2013144. Berlin: Springer-Verlag.","DOI":"10.1007\/3540543961_7"},{"key":"9020_CR10","doi-asserted-by":"crossref","unstructured":"Okasaki, C. (1996) Purely functional data structures. PhD thesis, Carnegie Mellon University.","DOI":"10.1007\/3-540-61628-4_5"},{"key":"9020_CR11","volume-title":"Electronic notes in theoretical computer science","author":"C. Okasaki","year":"2001","unstructured":"Okasaki C. (2001). An overview of edison. In: Hutton G. (eds). Electronic notes in theoretical computer science, Vol. 41. Elsevier, Amsterdam"},{"key":"9020_CR12","volume-title":"Type theory and functional programming. International computer science series","author":"S. Thompson","year":"1991","unstructured":"Thompson S. (1991). Type theory and functional programming. International computer science series Addison Wesley, Reading, MA"},{"key":"9020_CR13","volume-title":"The craft of functional programming","author":"S. Thompson","year":"1999","unstructured":"Thompson S. (1999) The craft of functional programming. 2nd edn. Addison Wesley, Reading, MA","edition":"2"}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-006-9020-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10849-006-9020-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-006-9020-3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T02:31:01Z","timestamp":1559269861000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10849-006-9020-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,12,19]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2007,2,22]]}},"alternative-id":["9020"],"URL":"https:\/\/doi.org\/10.1007\/s10849-006-9020-3","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,12,19]]}}}