{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,8,3]],"date-time":"2025-08-03T04:29:14Z","timestamp":1754195354960},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540574996"},{"type":"electronic","value":"9783540481973"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57499-9_26","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:01:41Z","timestamp":1330261301000},"page":"355-371","source":"Crossref","is-referenced-by-count":18,"title":["Virtual data structures"],"prefix":"10.1007","author":[{"given":"Doaitse","family":"Swierstra","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Oege","family":"Moor","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"13_CR1","volume-title":"Computing Science Note CS 8810","author":"R. C. Backhouse","year":"1988","unstructured":"R.C. Backhouse. An exploration of the Bird-Meertens formalism. Computing Science Note CS 8810, Department of Computing Science, Groningen University, P.O. Box 800, 9700 AV Groningen, The Netherlands, 1988."},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"R.S. Bird. An introduction to the theory of lists. In M. Broy, editor, Logic of Programming and Calculi of Discrete Design, volume 36 of NATO ASI Series F, pages 3\u201342. Springer-Verlag, 1987.","DOI":"10.1007\/978-3-642-87374-4_1"},{"key":"13_CR3","unstructured":"R.S. Bird and P. Wadler. Introduction to Functional Programming. Prentice-Hall, 1988."},{"key":"13_CR4","unstructured":"Hendrik Boom. private communication, 1979. IFIP Working Group 2.1, Jablonna, Warschau."},{"key":"13_CR5","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice-Hall, 1976."},{"key":"13_CR6","unstructured":"David Gries. The Science of Programming. Springer, 1983. 366p."},{"key":"13_CR7","unstructured":"L. Meertens. Algorithmics \u2014 towards programming as a mathematical activity. In J.W. de Bakker, M. Hazewinkel, and J.K. Lenstra, editors, Mathematics and Computer Science, volume 1 of CWI Monographs, pages 3\u201342. North-Holland, 1987."},{"key":"13_CR8","volume-title":"Technical Report CS-R9005","author":"L. Meertens","year":"1990","unstructured":"L. Meertens. Paramorphisms. Technical Report CS-R9005, CWI, Amsterdam 1990. To appear in Formal Aspects of Computing."},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Erik Meijer, Maarten Fokkinga, and Ross Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In FPCA, LNCS. Springer-Verlag, 1991.","DOI":"10.1007\/3540543961_7"},{"key":"13_CR10","unstructured":"C.C. Morgan. Programming from Specifications. Prentice-Hall, 1990."},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"M. Spivey. A categorical approach to the theory of lists. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, volume 375 of Lecture Notes in Computer Science, pages 399\u2013408. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51305-1_24"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"J.C.S.P. van der Woude. Rabbitcount: = rabbitcount-1. In J.L.A. van de Snepscheut, editor, Mathematics of Program Construction, volume 375 of Lecture Notes in Computer Science, pages 409\u2013420. Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51305-1_25"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Philip Wadler. Views: a way for pattern matching to cohabit with data abstraction. In Proc. 14th Symposium of Principles of Programming Languages, pages 307\u2013313. ACM, January 1987.","DOI":"10.1145\/41625.41653"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Philip Wadler. Deforestation: transforming programs to eliminate trees. In H. Ganzinger, editor, ESOP '88 (= Proc. 2nd European Symposium on Programming, volume 300 of LNCS, pages 345\u2013358. Springer-Verlag, March 1988.","DOI":"10.1007\/3-540-19027-9_23"}],"container-title":["Lecture Notes in Computer Science","Formal Program Development"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57499-9_26.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:12:30Z","timestamp":1605647550000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57499-9_26"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540574996","9783540481973"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-57499-9_26","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}