{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:04Z","timestamp":1725663784913},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552536"},{"type":"electronic","value":"9783540468035"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55253-7_28","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:56:53Z","timestamp":1330250213000},"page":"473-491","source":"Crossref","is-referenced-by-count":9,"title":["Typing references by effect inference"],"prefix":"10.1007","author":[{"given":"Andrew K.","family":"Wright","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"28_CR1","volume-title":"vol. 103 of Studies in Logic and the Foundations of Mathematics","author":"H. P. Barendregt","year":"1984","unstructured":"Barendregt, H. P. The Lambda Calculus: Its Syntax and Semantics, revised ed., vol. 103 of Studies in Logic and the Foundations of Mathematics. North-Holland, Amsterdam, 1984.","edition":"revised ed."},{"key":"28_CR2","doi-asserted-by":"crossref","unstructured":"Damas, L., and Milner, R. Principal type schemes for functional programs. Proceedings of the 9th Annual Symposium on Principles of Programming Languages (January 1982), 207\u2013212.","DOI":"10.1145\/582153.582176"},{"key":"28_CR3","unstructured":"Damas, L. M. M. Type Assignment in Programming Languages. PhD thesis, University of Edinburgh, 1985."},{"key":"28_CR4","doi-asserted-by":"crossref","unstructured":"Deutsch, A. On determining lifetime and aliasing of dynamically allocated data in higher-order functional specifications. Proceedings of the 17th Annual Symposium on Principles of Programming Languages (January 1990), 157\u2013168.","DOI":"10.1145\/96709.96725"},{"issue":"3","key":"28_CR5","doi-asserted-by":"crossref","first-page":"243","DOI":"10.1016\/0304-3975(89)90069-8","volume":"69","author":"M. Felleisen","year":"1989","unstructured":"Felleisen, M., and Friedman, D. P. A syntactic theory of sequential state. Theoretical Computer Science 69, 3 (1989), 243\u2013287. Preliminary version in: Proceedings of the 14th Annual Symposium on Principles of Programming Languages, 1987, 314\u2013325.","journal-title":"Theoretical Computer Science"},{"issue":"3","key":"28_CR6","doi-asserted-by":"crossref","first-page":"205","DOI":"10.1016\/0304-3975(87)90109-5","volume":"52","author":"M. Felleisen","year":"1987","unstructured":"Felleisen, M., Friedman, D. P., Kohlbecker, E. E., and Duba, B. A syntactic theory of sequential control. Theoretical Computer Science 52, 3 (1987), 205\u2013237. Preliminary version in: Proceedings of the Symposium on Logic in Computer Science, 1986, 131\u2013141.","journal-title":"Theoretical Computer Science"},{"key":"28_CR7","unstructured":"Felleisen, M., and Hieb, R. The revised report on the syntactic theories of sequential control and state. Tech. Rep. TR-100, Rice University, June 1989. To appear in: Theoretical Computer Science."},{"key":"28_CR8","first-page":"29","volume":"146","author":"R. Hindley","year":"1969","unstructured":"Hindley, R. The principal type-scheme of an object in combinatory logic. Transactions of the American Mathematical Society 146 (December 1969), 29\u201360.","journal-title":"Transactions of the American Mathematical Society"},{"key":"28_CR9","doi-asserted-by":"crossref","unstructured":"Jouvelot, P., and Gifford, D. K. Algebraic reconstruction of types and effects. Proceedings of the 18th Annual Symposium on Principles of Programming Languages (January 1991), 303\u2013310.","DOI":"10.1145\/99583.99623"},{"key":"28_CR10","doi-asserted-by":"crossref","unstructured":"Leroy, X., and Weis, P. Polymorphic type inference and assignment. Proceedings of the 18th Annual Symposium on Principles of Programming Languages (January 1991), 291\u2013302.","DOI":"10.1145\/99583.99622"},{"key":"28_CR11","doi-asserted-by":"crossref","unstructured":"Lucassen, J. M., and Gifford, D. K. Polymorphic effect systems. Proceedings of the 15th Annual Symposium on Principles of Programming Languages (January 1988), 47\u201357.","DOI":"10.1145\/73560.73564"},{"key":"28_CR12","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. A theory of type polymorphism in programming. Journal of Computer and System Sciences 17 (1978), 348\u2013375.","journal-title":"Journal of Computer and System Sciences"},{"key":"28_CR13","volume-title":"Commentary on Standard ML","author":"R. Milner","year":"1991","unstructured":"Milner, R., and Tofte, M. Commentary on Standard ML. MIT Press, Cambridge, Massachusetts, 1991."},{"key":"28_CR14","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1990","unstructured":"Milner, R., Tofte, M., and Harper, R. The Definition of Standard ML. MIT Press, Cambridge, Massachusetts, 1990."},{"key":"28_CR15","doi-asserted-by":"crossref","unstructured":"O'Toole Jr., J. W. Type abstraction rules for references: A comparison of four which have achieved notoriety. Unpublished, 1990.","DOI":"10.21236\/ADA240076"},{"key":"28_CR16","unstructured":"Standard ML of New Jersey release notes (version 0.75). AT&T Bell Laboratories, November 1991."},{"key":"28_CR17","unstructured":"Talpin, J.-P., and Jouvelot, P. The type and effect discipline. Tech. Rep. EMP-CRI A\/206, Ecole des Mines de Paris, July 1991."},{"issue":"1","key":"28_CR18","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. Type inference for polymorphic references. Information and Computation 89, 1 (November 1990), 1\u201334.","journal-title":"Information and Computation"},{"key":"28_CR19","unstructured":"Wright, A. K., and Felleisen, M. A syntactic approach to type soundness. Tech. Rep. 91-160, Rice University, April 1991. To appear in: Information and Computation."}],"container-title":["Lecture Notes in Computer Science","ESOP '92"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55253-7_28.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:58:29Z","timestamp":1605646709000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55253-7_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552536","9783540468035"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-55253-7_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]}}}