{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:57:18Z","timestamp":1725663438349},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540541417"},{"type":"electronic","value":"9783540474449"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54141-1_7","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:32:26Z","timestamp":1330209146000},"page":"106-123","source":"Crossref","is-referenced-by-count":2,"title":["Typing schemes for objects with locality"],"prefix":"10.1007","author":[{"given":"Florian","family":"Matthes","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atsushi","family":"Ohori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim W.","family":"Schmidt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,8]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"M.P. Atkinson, P.J. Bailey, K.J. Chisholm, W.P. Cockshott, and R. Morrison. An approach to persistent programming. Computer Journal, 26(4), November 1983.","DOI":"10.1093\/comjnl\/26.4.360"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"M.P. Atkinson, P. Buneman, and R. Morrison, editors. Data Types and Persistence. Topics in Information Systems. Springer-Verlag, 1988.","DOI":"10.1007\/978-3-642-61556-6"},{"key":"7_CR3","doi-asserted-by":"crossref","unstructured":"M.P. Atkinson, K.J. Chisholm, and W.P. Cockshott. PS-Algol: An algol with a persistent heap. ACM SIGPLAN Notices, 17(7), July 1981.","DOI":"10.1145\/988376.988378"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Types for data-oriented languages. In Advances in Database Technology, EDBT '88, volume 303 of Lecture Notes in Computer Science, pages 1\u201315. Springer-Verlag, 1988.","DOI":"10.1007\/3-540-19074-0_44"},{"key":"7_CR5","unstructured":"M.J. Carey and D.J. DeWitt. An overview of the EXODUS project. Database Engineering, Special Issue on Extensible Database Systems, 10(2), June 1987."},{"key":"7_CR6","unstructured":"M. Carey, D. DeWitt, J. Richardson, and E. Sheikta. Object and file management in the EXODUS extensible database system. In Proc. of the 12th VLDB Conference, Kyoto, Japan, August 1986."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"M. Coppo. A ccompleteness theorem for recursively defined types. In G. Goos and J. Hartmanis, editors, Automata, Languages and Programming, 12th Colloquium, volume 194 of Lecture Notes in Computer Science, pages 120\u2013129. Springer, July 1985.","DOI":"10.1007\/BFb0015737"},{"key":"7_CR8","doi-asserted-by":"crossref","first-page":"95","DOI":"10.1016\/0304-3975(83)90059-2","volume":"25","author":"B. Courcelle","year":"1983","unstructured":"B. Courcelle. Fundamental properties of infinite trees. Theoretical Computer Science, 25:95\u2013169, 1983.","journal-title":"Theoretical Computer Science"},{"key":"7_CR9","doi-asserted-by":"crossref","unstructured":"L. Damas and R. Milner. Principal type-schemes for functional programs. In Proc. 9th ACM Symposium on Principles of Programming Languages, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"L.M. Haas, J.C. Freytag, G.M. Lohmann, and H. Pirahesh. Extensible query processing in Starburst. In ACM-SIGMOD International Conference on Management of Data, pages 377\u2013388, Portland, Oregon, 1989.","DOI":"10.1145\/67544.66962"},{"key":"7_CR11","unstructured":"R. Harper, R. Milner, and M. Tofte. The definition of Standard ML. LFCS Report Series ECS-LFCS-88-62, Department of Computer Science, University of Edinburgh, August 1988."},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"S. Khoshafian and G. Copeland. Object identity. In Proc. of 1st Int. Conf. on OOPSLA, Portland, Oregon, October 1986.","DOI":"10.1145\/28697.28739"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"D.B. MacQueen. Using dependent types to express modular structure. In Conf. Record 13th Ann. Symp. Principles of Programming Languages, pages 277\u201326. ACM, January 1986.","DOI":"10.1145\/512644.512670"},{"key":"7_CR14","unstructured":"D. MacQueen. References and weak polymorphism. Note in Standard ML of New Jersey Distribution Package, 1988."},{"key":"7_CR15","unstructured":"R. Morrison, A.L. Brown, R. Connor, and A. Dearle. The Napier88 reference manual. PPRR 77\u201389, Universities of Glasgow and St Andrews, 1989."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"J.C. Mitchell and R. Harper. The essence of ML. In Proc. 15th ACM Symposium on Principles of Programming Languages, pages 28\u201346, San Diego, Ca., January 1988.","DOI":"10.1145\/73560.73563"},{"key":"7_CR17","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner. A theory of type polymorphism in programming. Journal of Computer and System Sciences, 17:348\u2013375, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"7_CR18","unstructured":"J.E.B. Moss. Addressing large distributed collections of persistent objects: The Mneme project's approach. In Proc. of the 2nd Workshop on Database Programming Languages, Portland, Oregon, pages 358\u2013374, June 1989."},{"key":"7_CR19","unstructured":"F. Matthes and J.W. Schmidt. The type system of DBPL. In Proc. of the 2nd Workshop on Database Programming Languages, Salishan Lodge, Oregon, pages 255\u2013260, June 1989."},{"key":"7_CR20","doi-asserted-by":"crossref","unstructured":"A. Ohori and P. Buneman. Type inference in a database programming language. In ACM Conference on Lisp and Functional Programming, pages 174\u2013183, Snowbird, Utah, 1988.","DOI":"10.1145\/62678.62700"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"A. Ohori, P. Buneman, and V. Breazu-Tannen. Database programming in Machiavelli \u2014 a polymorphic language with static type inference. In ACMSIGMOD International Conference on Management of Data, pages 46\u201357, Portland, Oregon, 1989.","DOI":"10.1145\/67544.66931"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"A. Ohori. Representing object identity in a pure functional language. In Proc. 3rd Int. Conf. on Database Theory, Paris, France, 1990.","DOI":"10.1007\/3-540-53507-1_69"},{"key":"7_CR23","unstructured":"A. Ohori, F. Matthes, and J.W. Schmidt. A static type system for object locality control. (In preparation), 1990."},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"D. R\u00e9my. Typechecking records and variants in a natural extension of ML. In D. MacQueen, editor, ACM Conf. on Principles of Programming Languages, 1989.","DOI":"10.1145\/75277.75284"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"J.W. Schmidt. Some high level language constructs for data of type relation. ACM Transactions on Database Systems, 2(3), September 1977.","DOI":"10.1145\/320557.320568"},{"key":"7_CR26","series-title":"DBPL-Memo","volume-title":"DBPL Report","author":"J.W. Schmidt","year":"1988","unstructured":"J.W. Schmidt, H. Eckhardt, and F. Matthes. DBPL Report. DBPL-Memo 111-88, Fachbereich Informatik, Johann Wolfgang Goethe-Universit\u00e4t, Frankfurt, West Germany, 1988."},{"key":"7_CR27","volume-title":"Operational Semantics and Polymorphic Type Inference","author":"M. Tofte","year":"1988","unstructured":"M. Tofte. Operational Semantics and Polymorphic Type Inference. PhD thesis, Department of Computer Science, University of Edinburgh, 1988."},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"M. Wand. A types-as-sets semantics for Milner-style polymorphism. In Proc. 11th ACM Symp. on Principles of Programming Languages, pages 158\u2013164, January 1984.","DOI":"10.1145\/800017.800527"}],"container-title":["Lecture Notes in Computer Science","Next Generation Information System Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54141-1_7.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:52:39Z","timestamp":1605646359000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54141-1_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540541417","9783540474449"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/3-540-54141-1_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}