{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,14]],"date-time":"2026-03-14T09:01:48Z","timestamp":1773478908120,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540577874","type":"print"},{"value":"9783540483335","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57787-4_23","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:22:10Z","timestamp":1330262530000},"page":"358-379","source":"Crossref","is-referenced-by-count":15,"title":["Guaranteeing safe destructive updates through a type system with uniqueness information for graphs"],"prefix":"10.1007","author":[{"given":"Sjaak","family":"Smetsers","sequence":"first","affiliation":[]},{"given":"Erik","family":"Barendsen","sequence":"additional","affiliation":[]},{"given":"Marko","family":"Eekelen","sequence":"additional","affiliation":[]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"key":"23_CR1","volume-title":"High Level Specification of I\/O in Functional Languages","author":"P. M. Achten","year":"1993","unstructured":"Achten P.M., J.H.G. van Groningen and M.J. Plasmeijer, High Level Specification of I\/O in Functional Languages, in: Proc. of International Workshop on Functional Languages, Glasgow, UK, Springer Verlag, 1993."},{"key":"23_CR2","first-page":"300","volume-title":"LNCS 581","author":"S. Bakel van","year":"1992","unstructured":"Bakel van, S., S. Smetsers and S. Brock, Partial Type Assignment in Left-Linear Term Rewriting Systems, in: Proc. of 17th Colloqium on Trees and Algebra in Programming (CAAP'92), pages 300\u2013322, Rennes, France, Springer Verlag, LNCS 581, 1992."},{"key":"23_CR3","first-page":"141","volume-title":"LNCS 259 II","author":"H. P. Barendregt","year":"1987","unstructured":"Barendregt H.P., M.C.J.D. van Eekelen, J.R.W. Glauert, J.R. Kennaway, M.J. Plasmeijer and M.R. Sleep, Term Graph Reduction, in: Proc. of Parallel Architectures and Languages Europe (PARLE), pages 141\u2013158, Eindhoven, The Netherlands, Springer Verlag, LNCS 259 II, 1987."},{"key":"23_CR4","unstructured":"Barendsen Erik and Sjaak Smetsers, Graph Rewriting and Copying, Technical Report 92-20, University of Nijmegen, 1992."},{"key":"23_CR5","first-page":"333","volume-title":"Single-Threaded Polymorphic Lambda Calculus","author":"Juan C. C. Guzm\u00e1n","year":"1991","unstructured":"Guzm\u00e1n Juan C. and Paul. Hudak, Single-Threaded Polymorphic Lambda Calculus, in: Proc. of Logic in Computer Science (LICS'90), pages 333\u2013345, Phildelphia, IEEE Computer Society Press, 1991."},{"key":"23_CR6","unstructured":"Johnsson Thomas., Discussion Summary: which analysis?, in: Proc. of Functional Languages: Optimization For Parallelism, pages 4\u20135, Dagstuhl, Germany, Dagstuhl seminar, 1990."},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"Milner R.A., Theory of Type Polymorphism in Programming, Journal of Computer and System Sciences, 17, 1978.","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"23_CR8","unstructured":"Mycroft A., Abstract interpretation and optimising transformations for applicative programs, PhD thesis, University of Edinburgh, 1981."},{"key":"23_CR9","first-page":"385","volume-title":"Linear types can change the world","author":"P. Wadler","year":"1990","unstructured":"Wadler P., Linear types can change the world!, in: Proc. of Working Conference on Programming Concepts and Methods, pages 385\u2013407, Israel, North Holland, 1990."}],"container-title":["Lecture Notes in Computer Science","Graph Transformations in Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57787-4_23.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:08:13Z","timestamp":1619572093000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57787-4_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577874","9783540483335"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-57787-4_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994]]}}}