{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:56Z","timestamp":1725665036013},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540632375"},{"type":"electronic","value":"9783540692393"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-63237-9_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T18:20:39Z","timestamp":1330280439000},"page":"233-246","source":"Crossref","is-referenced-by-count":4,"title":["First class file I\/O"],"prefix":"10.1007","author":[{"given":"Marco","family":"Pil","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"issue":"2","key":"13_CR1","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"M. Abadi, L. Cardelli, B. Pierce, G. Plotkin. Dynamic typing in a statically typed language, ACM Transactions on Programming Languages and Systems 13(2):237\u2013268, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"13_CR2","doi-asserted-by":"crossref","unstructured":"M. Abadi, L. Cardelli, B. Pierce, D. R\u00e9my. Dynamic typing in polymorphic languages, In: Journal of Functional Programming 5(1):111\u2013130, Cambridge University Press 1995.","DOI":"10.1017\/S095679680000126X"},{"key":"13_CR3","unstructured":"E. Barendsen and J. Smetsers. Uniqueness Typing for Functional Languages with Graph Rewriting Semantics, to appear in MSCS."},{"key":"13_CR4","unstructured":"R. Connor, A.Brown, Q Cutts, A. Dearie, R. Morrison and J. Rosenberg. Type Equivalence Checking in Persistent Object Systems, In: Implementing Persistent Object Bases pp.151\u2013164, Morgan Kaufman 1990"},{"key":"13_CR5","unstructured":"M. van Eekelen, M. Plasmeijer. Functional Programming and Parallel Graph Rewriting, Addison-Wesley 1993."},{"key":"13_CR6","unstructured":"M. van Eekelen, M. Plasmeijer. Concurrent Clean 1.0 language report, Computing Science Institute, University of Nijmegen, http:\/\/www.cs.kun.nl\/~clean\/Clean.Cleanbook.html."},{"key":"13_CR7","doi-asserted-by":"crossref","unstructured":"X. Leroy, M. Mauny. Dynamics in ML, In: Journal of Functional Programming 3(4), Cambridge University Press 1995.","DOI":"10.1017\/S0956796800000848"},{"key":"13_CR8","doi-asserted-by":"crossref","unstructured":"R. Morrison, A.Brown, R. Carrick, R. Connor, A. Dearie, and M. Atkinson. The Napier Type System, In: Persistent Object Systems pp.3\u201318, Springer-Verlag 1989.","DOI":"10.1007\/978-1-4471-3173-1_1"}],"container-title":["Lecture Notes in Computer Science","Implementation of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-63237-9_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:17:39Z","timestamp":1605629859000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-63237-9_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540632375","9783540692393"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-63237-9_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}