{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T05:56:01Z","timestamp":1770270961835,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540603597","type":"print"},{"value":"9783540450481","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/bfb0026821","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T10:29:45Z","timestamp":1132396185000},"page":"189-206","source":"Crossref","is-referenced-by-count":19,"title":["Uniqueness type inference"],"prefix":"10.1007","author":[{"given":"Erik","family":"Barendsen","sequence":"first","affiliation":[]},{"given":"Sjaak","family":"Smetsers","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,16]]},"reference":[{"key":"13_CR1","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1017\/S0956796800001258","volume":"5","author":"P.M. Achten","year":"1995","unstructured":"Achten, P.M. and M.J. Plasmeijer (1995). The ins and outs of Clean I\/O, Journal of Functional Programming 5, pp. 81\u2013110.","journal-title":"Journal of Functional Programming"},{"key":"13_CR2","first-page":"1","volume-title":"Workshops in Computing","author":"P.M. Achten","year":"1993","unstructured":"Achten, P.M., J.H.G. van Groningen and M.J. Plasmeijer (1993). High level specification of I\/O in functional languages, in: J. Launchbury and P. Sansom (eds.), Proceedings of the International Workshop on Functional Languages, Ayr, Scotland, 6\u20138 July 1992, Workshops in Computing, Springer-Verlag, Berlin, pp. 1\u201317."},{"key":"13_CR3","first-page":"300","volume-title":"Lecture Notes in Computer Science 581","author":"S.J. Bakel van","year":"1992","unstructured":"van Bakel, S.J., J.E.W. Smetsers and S. Brock (1992). Partial type assignment in left-linear term rewriting systems, in: J.C. Raoult (ed.), Proceedings of the 17th Colloqium on Trees and Algebra in Programming (CAAP'92), Rennes, France, Lecture Notes in Computer Science 581, Springer-Verlag, Berlin, pp. 300\u2013322."},{"key":"13_CR4","first-page":"141","volume-title":"Lecture Notes in Computer Science 259","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 (1987). Term graph reduction, in: J.W. de Bakker, A.J. Nijman and P.C. Treleaven (eds.), Proceedings of the Conference on Parallel Architectures and Languages Europe (PARLE) II, Eindhoven, The Netherlands, Lecture Notes in Computer Science 259, Springer-Verlag, Berlin, pp. 141\u2013158."},{"key":"13_CR5","unstructured":"Barendsen, E. and J.E.W. Smetsers (1992). Graph rewriting and copying, Technical Report 92-20, Computing Science Institute, University of Nijmegen."},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Barendsen, E. and J.E.W. Smetsers (1993a). Conventional and uniqueness typing in graph rewrite systems, Technical Report CSI-R9328, Computing Science Institute, University of Nijmegen.","DOI":"10.1007\/3-540-57529-4_42"},{"key":"13_CR7","first-page":"41","volume-title":"Lecture Notes in Computer Science 761","author":"E. Barendsen","year":"1993","unstructured":"Barendsen, E. and J.E.W. Smetsers (1993b). Conventional and uniqueness typing in graph rewrite systems (extended abstract), in: R.K. Shyamasundar (ed.), Proceedings of the 13th Conference on Foundations of Software Technology and Theoretical Computer Science, Bombay, India, Lecture Notes in Computer Science 761, Springer-Verlag, Berlin, pp. 41\u201351."},{"key":"13_CR8","first-page":"51","volume-title":"Lecture Notes in Computer Science 776","author":"E. Barendsen","year":"1994","unstructured":"Barendsen, E. and J.E.W. Smetsers (1994). Extending graph rewriting with copying, in: H.J. Schneider and H. Ehrig (eds.), Graph Transformations in Computer Science, International Workshop, Dagstuhl Castle, Germany, Lecture Notes in Computer Science 776, Springer-Verlag, Berlin, pp. 51\u201370."},{"key":"13_CR9","unstructured":"Girard, J.-Y., Y. Lafont and P. Taylor (1989). Proofs and Types, Cambridge Tracts in Theoretical Computer Science 7, Cambridge University Press."},{"key":"13_CR10","first-page":"333","volume-title":"Single-threaded polymorphic lambda calculus","author":"J.C. Guzm\u00e1n","year":"1990","unstructured":"Guzm\u00e1n, J.C. and P. Hudak (1990). Single-threaded polymorphic lambda calculus, Proceedings of the 5th Annual Symposium on Logic in Computer Science, Philadelphia, IEEE Computer Society Press, pp. 333\u2013343."},{"key":"13_CR11","unstructured":"Jacobs, B.P.F. (1993). Personal communication."},{"key":"13_CR12","unstructured":"Plasmeijer, M.J. and M.C.J.D. van Eekelen (1995). Concurrent Clean 1.0 language report, Computing Science Institute, University of Nijmegen, To appear."},{"key":"13_CR13","first-page":"266","volume-title":"Order-of-evaluation analysis for destructive updates in strict functional languages with flat aggregates","author":"W. Sastry","year":"1993","unstructured":"Sastry, W., A.V.S. Clinger and Z.M. Ariola (1993). Order-of-evaluation analysis for destructive updates in strict functional languages with flat aggregates, Proceedings of the Conference on Functional Languages and Computer Architectures (FPCA), Copenhagen, Denmark, ACM Press, pp. 266\u2013276."},{"key":"13_CR14","volume-title":"CSLI Lecture Notes 29","author":"A.S. Troelstra","year":"1992","unstructured":"Troelstra, A.S. (1992). Lectures on Linear Logic, CSLI Lecture Notes 29, CSLI, Stanford."},{"key":"13_CR15","first-page":"385","volume-title":"Linear types can change the world!","author":"P. Wadler","year":"1990","unstructured":"Wadler, P. (1990). Linear types can change the world!, Proceedings of the Working Conference on Programming Concepts and Methods, Israel, North-Holland, Amsterdam, pp. 385\u2013407."},{"key":"13_CR16","unstructured":"Wadsworth, C.P. (1971). Semantics and Pragmatics of the Lambda Calculus, Dissertation, Oxford University."}],"container-title":["Lecture Notes in Computer Science","Programming Languages: Implementations, Logics and Programs"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026821","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T01:53:44Z","timestamp":1586570024000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026821"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540603597","9783540450481"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/bfb0026821","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[1995]]}}}