{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:40:09Z","timestamp":1742600409073,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"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_39","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:51:46Z","timestamp":1330289506000},"page":"65-84","source":"Crossref","is-referenced-by-count":1,"title":["A second year course on data structures based on functional programming"],"prefix":"10.1007","author":[{"given":"Manuel","family":"N\u00fa\u00f1ez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Pedro","family":"Palao","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ricardo","family":"Pe\u00f1a","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"5_CR1","unstructured":"Harold Abelson and Gerald J. Sussman. Structure and Interpretation of Computer Programs. MIT Press, 1985."},{"key":"5_CR2","doi-asserted-by":"crossref","unstructured":"E. Astesiano and M. Cerioli. On the existence of initial models for partial (higher order) conditional specifications. In Proceedings of TAPSOFT'89. LNCS 351, 1989.","DOI":"10.1007\/3-540-50939-9_125"},{"key":"5_CR3","doi-asserted-by":"crossref","unstructured":"E. Barendsen and J.E.W. Smetsers. Conventional and uniqueness typing in graph rewrite systems. In Proceedings of the 13th FST & TCS. LNCS 761, 1993.","DOI":"10.1007\/3-540-57529-4_42"},{"key":"5_CR4","unstructured":"R. Bird and P. Wadler. Introduction to Functional Programming. Prentice-Hall, 1988."},{"key":"5_CR5","first-page":"393","volume":"2","author":"L. A. Gal\u00e1n","year":"1994","unstructured":"L. A. Gal\u00e1n, M. N\u00fa\u00f1ez, C. Pareja, and R. Pe\u00f1a. Non homomorphic reductions of data structures. GULP-PRODE, 2:393\u2013407, 1994.","journal-title":"GULP-PRODE"},{"key":"5_CR6","unstructured":"R. R. Hoogerwood. A logarithmic implementation of flexible arrays. In Proceedings of the 2th Conference on the Mathematics of Program Construction. LNCS 699, 1992."},{"key":"5_CR7","unstructured":"E. Horowitz and S. Sahni. Fundamentals of Data Structures in PASCAL. Computer Science Press, 4th. edition, 1994."},{"key":"5_CR8","unstructured":"P. Hudak. Mutable abstract datatypes or How to have your state and munge it too. Technical Report YALEU\/DCS\/RR-914, Yale University, 1993."},{"key":"5_CR9","doi-asserted-by":"crossref","unstructured":"P. Hudak, S. Peyton-Jones, and P. Wadler. Report on the Functional Programming Language Haskell. SIGPLAN Notices, 27(5), 1992.","DOI":"10.1145\/130697.130699"},{"key":"5_CR10","unstructured":"J. Hughes. Why Functional Programming Matters, pages 17\u201343. Research Topics in Functional Programming. (Ed.) D. A. Turner. Addison-Wesley, 1990."},{"key":"5_CR11","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0956796800000599","volume":"3","author":"S. Joosten","year":"1993","unstructured":"S. Joosten, K. van den Berg, and G. van der Hoeven. Teaching functional programming to first-year students. Journal of Functional Programming, 3:49\u201365, 1993.","journal-title":"Journal of Functional Programming"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"D. J. King. Functional binomial queues. In Proceedings of the Glasgow Workshop on Functional Programming, 1994.","DOI":"10.1007\/978-1-4471-3573-9_10"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"D. J. King and H. Launchbury. Structuring depth-first search algorithms in Haskell. In Proceedings of POPL'95, 1995.","DOI":"10.1145\/199448.199530"},{"key":"5_CR14","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1017\/S0956796800000575","volume":"3","author":"T. Lambert","year":"1993","unstructured":"T. Lambert, P. Lindsay, and K. Robinson. Using Miranda as a first programming language. Journal of Functional Programming, 3:5\u201334, 1993.","journal-title":"Journal of Functional Programming"},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"J. Launchbury and S. L. Peyton Jones. Lazy functional state threads. In Proceedings of the ACM Conference on Programming Languages Design and Implementation, 1994.","DOI":"10.1145\/178243.178246"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"C. Okasaki. Simple and efficient purely functional queues and deques. Journal of Functional Programming, 1994. To appear.","DOI":"10.1017\/S0956796800001489"},{"key":"5_CR17","unstructured":"R. Pe\u00f1a. Dise\u00f1o de Programas: Formalismo y Abstracci\u00f3n. Prentice Hall, 1993. In Spanish."},{"key":"5_CR18","doi-asserted-by":"crossref","first-page":"181","DOI":"10.1016\/0167-6423(92)90009-Z","volume":"18","author":"C. M. P. Reade","year":"1992","unstructured":"C. M. P. Reade. Balanced trees with removals: an exercise in rewriting and proof. Science of Computer Programming, 18:181\u2013204, 1992.","journal-title":"Science of Computer Programming"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"D. Sands. A Na\u00efve Time Analysis and its Theory of Cost Equivalence. The Journal of Logic and Computation, 1994. To appear.","DOI":"10.1093\/logcom\/5.4.495"},{"issue":"1","key":"5_CR20","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1137\/0215004","volume":"15","author":"D. D. Sleator","year":"1986","unstructured":"D. D. Sleator and R. E. Tarjan. Self-adjusting heaps. SIAM Journal of Computing, 15(1):52\u201369, 1986.","journal-title":"SIAM Journal of Computing"}],"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_39.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T23:07:44Z","timestamp":1742598464000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60675-0_39"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606758","9783540492528"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-60675-0_39","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}