{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:48:23Z","timestamp":1762458503996},"publisher-location":"Berlin\/Heidelberg","reference-count":18,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540582029"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0052178","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T03:59:15Z","timestamp":1149652755000},"page":"100-117","source":"Crossref","is-referenced-by-count":50,"title":["Typed concurrent objects"],"prefix":"10.1007","author":[{"given":"Vasco T.","family":"Vasconcelos","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"crossref","unstructured":"Mart\u00edn Abadi and Luca Cardelli. A theory of primitive objects. DECSRC. Shorter versions in European Symposium on Programming, and in Theoretical Aspects of Computer Software, 1994.","DOI":"10.1007\/3-540-57887-0_101"},{"key":"6_CR2","unstructured":"Felice Cardone and Mario Coppo. Two extensions of Curry's type inference system. In Logic and Computer Science, pages 19\u201375. Academic Press limited, 1990."},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Luis Damas and Robin Milner. Principal type-schemes for functional programs. In 9th A CM Symposium on Principles of Programming Languages, pages 207\u2013212, 1982.","DOI":"10.1145\/582153.582176"},{"key":"6_CR4","unstructured":"Carl Hewitt, Peter Bishop, and Richard Steiger. A universal, modular actor formalism for artificial intelligence. In 3rd International Joint Conference on Artificial Intelligence, pages 235\u2013245, 1973."},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Kohei Honda and Mario Tokoro. An object calculus for asynchronous communication. In 5th European Conference on Object-Oriented Programming, volume 512 of LNCS, pages 141\u2013162. Springer-Verlag, 1991.","DOI":"10.1007\/BFb0057019"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Paul Hudak, Simon Peyton Jones, Philip Wadler, et al. Report on the programming language Haskell: A non-strict, purely functional language. Version 1.2. ACM Sigplan Notices, 27(5), 1992.","DOI":"10.1145\/130697.130699"},{"key":"6_CR7","unstructured":"Simon Peyton Jones. The Implementation of Functional Programming Languages. Prentice Hall, 1987."},{"key":"6_CR8","unstructured":"Robin Milner. Functions as processes. In Automata, Language and Programming, volume 443 of LNCS. Springer-Verlag, 1990. Also as Rapport de Recherche No 1154, INRIA-Sophia Antipolis, February 1990."},{"key":"6_CR9","volume-title":"The Definition of Standard ML","author":"R. Milner","year":"1991","unstructured":"Robin Milner and Mads Tofte. The Definition of Standard ML. The MIT Press, Cambridge, Massachusetts, 1991."},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Oscar Nierstrasz. Towards an object calculus. In Object-Based Concurrent Computing, volume 469 of LNCS, pages 1\u201320. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-55613-3_1"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Atsushi Ohori. A compilation method for ML-style polymorphic record calculi. In 19th ACM Symposium on Principles of Programming Languages, pages 154\u2013165, 1992.","DOI":"10.1145\/143165.143200"},{"key":"6_CR12","unstructured":"Benjamin C. Pierce, Didier R\u00e9my, and David N. Turner. A typed higherorder programming language based on the pi-calculus. University of Edinburgh, 1993."},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"D. A. Turner. Miranda: a non-strict functional language with polymorphic types. In IFIP International Conference on Functional Programming and Computer Architecture, volume 201 of LNCS. Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15975-4_26"},{"key":"6_CR14","unstructured":"Vasco T. Vasconcelos. Recursive types in a calculus of objects. CS 93-002, Keio University, November 1993. Revised version to appear in the Transactions of Information Processing Society of Japan."},{"key":"6_CR15","doi-asserted-by":"crossref","unstructured":"Vasco T. Vasconcelos. Predicative polymorphism in \u03c0-calculus. In 5th Parallel Architectures and Languages Europe, LNCS. Springer-Verlag, July 1994.","DOI":"10.1007\/3-540-58184-7_120"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Vasco T. Vasconcelos and Kohei Honda. Principal typing-schemes in a polyadic \u03c0-calculus. In 4th International Conference on Concurrency Theory, volume 715 of LNCS, pages 524\u2013538. Springer-Verlag, August 1993. Also as Keio University Report CS 92-002.","DOI":"10.1007\/3-540-57208-2_36"},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Vasco T. Vasconcelos and Mario Tokoro. A typing system for a calculus of objects. In 1st International Symposium on Object Technologies for Advanced Software, volume 742 of LNCS, pages 460\u2013474. Springer-Verlag, November 1993.","DOI":"10.1007\/3-540-57342-9_89"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"David Walker. \u03c0-calculus semantics of object-oriented programming languages. In Theoretical Aspects of Computer Software, volume 526 of LNCS, pages 532\u2013547. Springer-Verlag, 1992.","DOI":"10.1007\/3-540-54415-1_63"}],"container-title":["Lecture Notes in Computer Science","Object-Oriented Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052178.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T21:59:24Z","timestamp":1607551164000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052178"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540582029"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0052178","relation":{},"subject":[]}}