{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T05:03:35Z","timestamp":1737349415933,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540429593"},{"type":"electronic","value":"9783540456544"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45654-6_50","type":"book-chapter","created":{"date-parts":[[2007,7,16]],"date-time":"2007-07-16T16:21:19Z","timestamp":1184602879000},"page":"657-667","source":"Crossref","is-referenced-by-count":2,"title":["Persistent Haskell"],"prefix":"10.1007","author":[{"given":"Juan","family":"Quintela","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Juan J.","family":"S\u00e1nchez","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,2,8]]},"reference":[{"issue":"2","key":"50_CR1","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1145\/3857.3859","volume":"10","author":"A. Albano","year":"1985","unstructured":"A. Albano, L. Cardelli and R. Orsini Galileo: A Strongly Typed Interactive Conceptual LanguageACM ToDS Vol. 10, No. 2, 1985, pp. 230\u2013260.","journal-title":"ACM ToDS"},{"key":"50_CR2","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1049\/sej.1992.0017","volume":"7","author":"A.L. Brown","year":"1992","unstructured":"A.L. Brown and R. Morrison A Generic Persistent Object Store, Software Engineering Journal, Vol. 7, pp. 111\u2013114, 1992.","journal-title":"Software Engineering Journal"},{"issue":"4","key":"50_CR3","doi-asserted-by":"crossref","first-page":"360","DOI":"10.1093\/comjnl\/26.4.360","volume":"26","author":"M.P. Atkinson","year":"1983","unstructured":"M.P. Atkinson, P. Bailey, K.J. Chisholm, W.P. Cockshott and R. Morrison An Approach to Persistent Programming, Computer Journal, Vol. 26, No.4, 1983, pp. 360\u2013365.","journal-title":"Computer Journal"},{"key":"50_CR4","series-title":"Lect Notes Comput Sci","volume-title":"Combinators and Functional Programming Languages","author":"L. Cardelli Amber","year":"1985","unstructured":"L. Cardelli Amber, AT & T Bell Labs Report, 1983 and In Combinators and Functional Programming Languages ed. G. Cousineau, P-L. Curien and B. Robinet, LNCS 242, Springer-Verlag, 1985."},{"key":"50_CR5","unstructured":"A.J.T. Davie and K. Hammond Functional Hypersheets, Proc. 1996 Glasgow Workshop on Functional Programming, Ullapool, Scotland, Phil Trinder (ed), TR-1997-1, January 1997."},{"key":"50_CR6","doi-asserted-by":"crossref","unstructured":"A.J.T. Davie and D.J. McNally PCASE-A Persistent Lazy Version of an SECD Machine with a Flat Environment Proc. TENCON\u2019 89, Bombay, India, 1989, pp. 864\u2013872 and Research Report CS\/92\/7, Department of Mathematical and Computational Sciences, St.Andrews University, 1992.","DOI":"10.1109\/TENCON.1989.177071"},{"key":"50_CR7","unstructured":"L. Daynes and M.P. Atkinson Main-Memory Management to support Orthogonal Persistence for Java The Second International Workshop on Persistence and Java (PJW2), Half Moon Bay, California, August 1997."},{"key":"50_CR8","unstructured":"A. Dearle and F. Brown Private Communication."},{"key":"50_CR9","doi-asserted-by":"crossref","unstructured":"K. Hammond, H-W. Loidl and A. Partridge Visualising Granularity in Parallel Programs: A Graphical Winnowing System for Haskell In HPFC\u2019 95-High Perf. Functional Computing, pp. 208\u2013221, Denver, CO, 1995.","DOI":"10.1007\/978-1-4471-3573-9_8"},{"key":"50_CR10","unstructured":"K. Hammond, S.L. Peyton Jones and P. Wadler Unpublished Internal report, University of Glasgow Department of Computer Science."},{"key":"50_CR11","unstructured":"E. W. Karlsen Tool Integration in a Functional Setting Forthcoming PhD Thesis, University of Bremen."},{"key":"50_CR12","first-page":"421","volume-title":"Algebraic Methodology and Software Technology (AMAST\u201991)","author":"E. W. Karlsen","year":"1992","unstructured":"E. W. Karlsen, B. Krieg-Br\u00fcckner, O. Traynor The PROSPECTRA System: A Unified Development Framework In: M. Nivat, C. Rattray, T. Rus, G. Scollo (ed.): Algebraic Methodology and Software Technology (AMAST\u201991), Workshop in Computing, Springer-Verlag, London (1992) pp. 421\u2013433."},{"issue":"4","key":"50_CR13","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1017\/S0956796800000848","volume":"3","author":"X. Leroy","year":"1993","unstructured":"X. Leroy and M. Mauny Dynamics in ML J. Functional Programming Vol. 3, No. 4, pp. 431\u2013463, 1993.","journal-title":"J. Functional Programming"},{"key":"50_CR14","unstructured":"D.C.J. Matthews A Persistent Storage System for Poly and ML Edinburgh University Department of Computer Science, Laboratory for Foundations of Computer Science Report ECSLFCS-95-335-3a, 1995."},{"key":"50_CR15","unstructured":"D.C.J. Matthews Progress with Persistence in Poly and Poly\/ML Edinburgh University Department of Computer Science, Laboratory for Foundations of Computer Science Report ECSLFCS-95-335-3b, 1995."},{"key":"50_CR16","unstructured":"D.J. McNally Models for Persistence in Lazy Functional Programming Systems Ph.D. Thesis, St.Andrews University, Department of Mathematical and Computational Sciences Research Report CS\/93\/9, 1993."},{"key":"50_CR17","unstructured":"R. Morrison, A. Brown, R.C.H. Connor and A. Dearle The Napier88 Reference Manual University of St.Andrews Dept. Comp. Sci. Persistent Programming Research Report PPRR-77-89, 1989."},{"key":"50_CR18","unstructured":"J. Peterson, K. Hammond et al. Report on the Programming Language Haskell, Version 1.3 Technical Report YALE\/DCS\/RR-1106, Department of Computing Science, Yale University, May 1996-available at http:\/\/haskell.cs.yale.edu\/haskell-report ."},{"issue":"2","key":"50_CR19","doi-asserted-by":"publisher","first-page":"127","DOI":"10.1017\/S0956796800000319","volume":"2","author":"S.L. Peyton Jones","year":"1992","unstructured":"S.L. Peyton Jones Implementing Lazy Functional Languages on Stock Hardware: The Spineless Tagless G-machine J. Functional Programming Vol. 2, No. 2, 1992, pp. 127\u2013202.","journal-title":"J. Functional Programming"},{"key":"50_CR20","series-title":"Lect Notes Comput Sci","first-page":"233","volume-title":"Proc. 8th Intl. Workshop on Implementation of Functional Languages","author":"M. Pil","year":"1996","unstructured":"M. Pil First Class File I\/O Proc. 8th Intl. Workshop on Implementation of Functional Languages, Bonn, LNCS 1268, pp. 233\u2013246, Springer Verlag, 1996."},{"key":"50_CR21","unstructured":"M. Pil Dynamic Types and Type Dependent Functions These Proceedings"},{"key":"50_CR22","unstructured":"A. Printezis, M. Atkinson, L. Daynes, S. Spence and P. Bailey The Design of a new Persistent Object Store for PJama The Second International Workshop on Persistence and Java (PJW2), Half Moon Bay, California, August 1997."},{"key":"50_CR23","unstructured":"F. Reig Personal Communication, 1998."},{"key":"50_CR24","doi-asserted-by":"crossref","unstructured":"M. Shields, T. Sheard and S. Peyton Jones Dynamic Typing as Staged Type Inference POPL\u2019 98-25th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 289\u2013302, San Diego, 1998.","DOI":"10.1145\/268946.268970"},{"key":"50_CR25","doi-asserted-by":"crossref","unstructured":"P. Trinder, K. Hammond, J.S. Mattson Jr., A.S. Partridge and S.L. Peyton Jones GUM: a Portable Parallel Implementation of Haskell IIn Programming Languages Design and Implementation, PLDI\u2019 96, pp. 79\u201388, Philadelphia, PA, 1996.","DOI":"10.1145\/249069.231392"},{"key":"50_CR26","unstructured":"D.A. Turner A New Implementation Technique for Applicative Languages."},{"key":"50_CR27","unstructured":"M. van Eekelen and M. Plasmeijer Concurrent Clean 1.0 Language Report Computing Science Institute, University of Nijmegen, http:\/\/www.cs.kun.nl\/clean\/Clean.Cleanbook.html ."},{"key":"50_CR28","doi-asserted-by":"crossref","unstructured":"M. Wallace Type-Checked Message-Passing between Functional Processes In Turner, Hammond, and Sansom, editors, Glasgow functional programming workshop, pp. 245\u2013254, BCS Workshops in Computing, Springer-Verlag, Sept 1994.","DOI":"10.1007\/978-1-4471-3573-9_17"},{"key":"50_CR29","doi-asserted-by":"crossref","unstructured":"M. Wallace and C. Runciman The Bits Between The Lambdas: Binary Data in a Lazy Functional Language To appear in the ACM International Symposium on Memory Management (IWMM\u2019 98), Vancouver, Canada, Oct 1998.","DOI":"10.1145\/286860.286872"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST 2001"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45654-6_50","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,19]],"date-time":"2025-01-19T11:55:24Z","timestamp":1737287724000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45654-6_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540429593","9783540456544"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-45654-6_50","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]}}}