{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:09:07Z","timestamp":1725664147308},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606758"},{"type":"electronic","value":"9783540492528"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60675-0_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T15:51:44Z","timestamp":1330271504000},"page":"215-229","source":"Crossref","is-referenced-by-count":0,"title":["Functional programming in a basic database course"],"prefix":"10.1007","author":[{"given":"Pieter","family":"Koopman","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Vincent","family":"Zweije","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"unstructured":"Diller, A.: Z, An Introduction to Formal Methods, Second edition, Wiley, ISBN 0-471-92973-0, 1994.","key":"13_CR1"},{"unstructured":"Elmasri, Navathe: Fundamentals of database systems, second edition, Benjamin Cummings, ISBN 0-8053-1748-1, 1994.","key":"13_CR2"},{"key":"13_CR3","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/BF01457986","volume":"86","author":"A.A. Fraenkel","year":"1922","unstructured":"Fraenkel, A.A.: Zu den Grundlagen der Cantor-Zermeloschen Mengelehre. Mathematische annalen, 86, pp 230\u2013237, 1922.","journal-title":"Mathematische annalen"},{"doi-asserted-by":"crossref","unstructured":"Jones, M.P.: Gofer. 2.30 release notes, 1994.","key":"13_CR4","DOI":"10.1016\/0168-3659(94)90042-6"},{"doi-asserted-by":"crossref","unstructured":"Jones, M.P.: A system of constructor classes: overloading and implicit higher-order polymorphism. in: Proceedings FPCA 93, 1993.","key":"13_CR5","DOI":"10.1145\/165180.165190"},{"unstructured":"Melton, J., Simon, A.R.: Understanding the new SQL: a complete guide. Morgan Kaufmann Publishers, ISBN 1-55860-245-3, 1993","key":"13_CR6"},{"key":"13_CR7","first-page":"1","volume":"201","author":"D.A. Turner","year":"1985","unstructured":"Turner, D.A.: Miranda: a non-strict functional language with polymorphic types. LNCS 201, pp 1\u201316, 1985.","journal-title":"LNCS"},{"doi-asserted-by":"crossref","unstructured":"Wadler, P.: The essence of functional programming. In: Proceedings of the 19th annual symposium on Principles of Programming Languages, pp 1\u201314, 1992.","key":"13_CR8","DOI":"10.1145\/143165.143169"},{"key":"13_CR9","first-page":"261","volume":"65","author":"E. Zermelo","year":"1908","unstructured":"Zermelo, E.: Untersuchungnen \u00fcber die Grundlagen der Mengelehre. International Bibliography, Information and Documentation, 65, pp 261\u2013281, 1908.","journal-title":"International Bibliography, Information and Documentation"}],"container-title":["Lecture Notes in Computer Science","Funtional Programming Languages in Education"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60675-0_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:01:10Z","timestamp":1605628870000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60675-0_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606758","9783540492528"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-60675-0_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}