{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:36Z","timestamp":1725663516922},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563938"},{"type":"electronic","value":"9783540475491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_4","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:08:21Z","timestamp":1330254501000},"page":"51-66","source":"Crossref","is-referenced-by-count":1,"title":["Simple type inference for term graph rewriting systems"],"prefix":"10.1007","author":[{"given":"R.","family":"Banach","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"4_CR1","unstructured":"Banach R. (1989), Dataflow Analysis of Term Graph Rewriting Systems, in proc. PARLE-89, Odijk E., Rem M., Syre J-C. eds., Springer, LNCS 366 55\u201372."},{"key":"4_CR2","unstructured":"Banach R. (1991a), DACTL Rewriting is Categorical, in proc. SemaGraph-91, University of Nijmegen Dept. of Informatics Technical Report 9-25 part II 339\u2013357. Also see in: Term Graph Rewriting: Theory and Practice, John Wiley, 1992, to appear."},{"key":"4_CR3","unstructured":"Banach R. (1991b), Term Graph Rewriting and Garbage Collection \u00e0 la Grothendieck. Submitted to TCS."},{"key":"4_CR4","unstructured":"Banach R. (1991c), MONSTR: Term Graph Rewriting for Parallel Machines, in proc. SemaGraph-91, University of Nijmegen Dept. of Informatics Technical Report 91-25 part II 251\u2013260. Also see in: Term Graph Rewriting: Theory and Practice, John Wiley, 1992, to appear."},{"key":"4_CR5","unstructured":"Banach R. (1992), MONSTR, in preparation."},{"key":"4_CR6","unstructured":"Barendregt H.P. (1984), The Lambda Calculus. Its Syntax and Semantics, North-Holland."},{"key":"4_CR7","unstructured":"Barendregt H.P., van Eekelen M.C.J.D., Glauert J.R.W., Kennaway J.R., Plasmeijer M.J., Sleep M.R. (1987), Term Graph Rewriting, in proc. PARLE-87, de Bakker J.W., Nijman A.J., Treleaven P.C. eds., Springer, LNCS 259 141\u2013158."},{"key":"4_CR8","unstructured":"Farmer W.M., Watro R.J. (1990), Redex Capturing in Term Graph Rewriting, Int. Jour. Found. Comp. Sci. 1 369\u2013386, and in proc. RTA-91, R.V. Book ed., Springer, LNCS 488 13\u201324."},{"key":"4_CR9","unstructured":"Girard J-Y., Taylor P., Lafont Y. (1989), Proofs and Types, Cambridge Tracts in Theoretical Computer Science 7, CUP."},{"key":"4_CR10","volume-title":"Internal Report SYS-C88-11","author":"J. R. W. W. Glauert","year":"1988","unstructured":"Glauert J.R.W., Kennaway J.R., Sleep M.R., Somner G.W. (1988a), Final Specification of DACTL, Internal Report SYS-C88-11, School of Information Systems, University of East Anglia, Norwich, U.K."},{"key":"4_CR11","volume-title":"DACTL: Some Introductory Papers","author":"J. R. W. W. Glauert","year":"1988","unstructured":"Glauert J.R.W., Hammond K., Kennaway J.R., Papdopoulos G.A., Sleep M.R. (1988b), DACTL: Some Introductory Papers, School of Information Systems, University of East Anglia, Norwich, U.K."},{"key":"4_CR12","unstructured":"Hankin C. (1991), Static Analysis of Term Graph Rewriting Systems, in proc. PARLE-91, Aarts E.H.L., van Leeuwen J., Rem M. eds., Springer, LNCS 506 367\u2013384."},{"key":"4_CR13","first-page":"29","volume":"146","author":"R. Hindley","year":"1969","unstructured":"Hindley R. (1969), The Principal Type-Scheme of an Object in Combinatory Logic, Trans. Amer. Math. Soc. 146 29\u201360.","journal-title":"Trans. Amer. Math. Soc."},{"key":"4_CR14","unstructured":"Huet G. (1990), Logical Foundations of Functional Programming, Addison-Wesley."},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Kennaway J.R., Klop J-W., Sleep M.R., de Vries F-J. (1991), Transfinite Reductions in Orthogonal Term Rewrite Systems, in proc. RTA-91, R.V. Book ed., Springer, LNCS 488 1\u201312, and Report CS-R9041, CWI Amsterdam.","DOI":"10.1007\/3-540-53904-2_81"},{"key":"4_CR16","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"Milner R. (1978), A Theory of Type Polymorphism in Programming, Jour. Comp. Sys. Sci. 17 348\u2013375.","journal-title":"Jour. Comp. Sys. Sci."},{"key":"4_CR17","doi-asserted-by":"crossref","first-page":"209","DOI":"10.1016\/0304-3975(91)90033-X","volume":"87","author":"R. Milner","year":"1991","unstructured":"Milner R., Tofte M. (1991), Co-induction in Relational Semantics, Theor. Comp. Sci. 87 209\u2013220.","journal-title":"Theor. Comp. Sci."},{"key":"4_CR18","unstructured":"Peyton-Jones S.L. (1987), The Implementation of Functional Programming Languages, Prentice-Hall."},{"key":"4_CR19","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0890-5401(90)90018-D","volume":"89","author":"M. Tofte","year":"1990","unstructured":"Tofte M. (1990), Type Inference for Polymorphic References, Inf. and Comp. 89 1\u201334.","journal-title":"Inf. and Comp."}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56393-8_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:39Z","timestamp":1605647019000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}