{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:23:30Z","timestamp":1725665010073},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540628521"},{"type":"electronic","value":"9783540687054"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/3-540-62852-5_20","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T22:51:41Z","timestamp":1330296701000},"page":"277-292","source":"Crossref","is-referenced-by-count":2,"title":["A type-based implementation of a language with distributed scope"],"prefix":"10.1007","author":[{"given":"Dominic","family":"Duggan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"20_CR1","doi-asserted-by":"crossref","unstructured":"Martin Abadi and Luca Cardelli. A Theory of Objects. Springer-Verlag, July 1996.","DOI":"10.1007\/978-1-4419-8598-9"},{"issue":"2","key":"20_CR2","doi-asserted-by":"crossref","first-page":"237","DOI":"10.1145\/103135.103138","volume":"13","author":"M. Abadi","year":"1991","unstructured":"Martin Abadi, Luca Cardelli, Benjamin Pierce, and Gordon Plotkin. Dynamic typing in a statically typed language. ACM Transactions on Programming Languages and Systems, 13(2):237\u2013268, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"7","key":"20_CR3","first-page":"703","volume":"19","author":"A. Appel","year":"1989","unstructured":"Andrew Appel. Run-time tags aren't necessary. Lisp and Symbolic Computation, 19(7):703\u2013705, July 1989.","journal-title":"Lisp and Symbolic Computation"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Andrew Birrell, Greg Nelson, Susan Owicki, and Edward Wobber. Network objects. In Symposium on Operating Systems Principles, pages 217\u2013230. ACM Press, 1993.","DOI":"10.1145\/168619.168637"},{"key":"20_CR5","volume-title":"Studentlitteratur (Lund, Sweden)","author":"G. M. Birtwistle","year":"1979","unstructured":"Graham M. Birtwistle, Ole-Johan Dahl, Bjorn Myhrhaug, and Kristen Nygaard. Simula Begin. Studentlitteratur (Lund, Sweden), Bratt Institute Fuer Neues Lerned (Goch, FRG), Chartwell-Bratt Ltd (Kent, England, 1979."},{"key":"20_CR6","doi-asserted-by":"crossref","unstructured":"L. Cardelli. Mobile computations. In J. Vitek and C. Tschudin, editors, Mobile Object Systems, Lecture Notes in Computer Science, chapter 1. Springer-Verlag, 1997.","DOI":"10.1007\/3-540-62852-5_1"},{"key":"20_CR7","first-page":"286","volume-title":"A language with distributed scope","author":"L. Cardelli","year":"1995","unstructured":"Luca Cardelli. A language with distributed scope. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 286\u2013297, San Francisco, California, January 1995. ACM Press."},{"key":"20_CR8","doi-asserted-by":"crossref","unstructured":"G. Cugola, C. Ghezzi, G. P. Picco, and G. Vigna. Analyzing mobile code languages. In J. Vitek and C. Tschudin, editors, Mobile Object Systems, Lecture Notes in Computer Science, chapter 8. Springer-Verlag, 1997.","DOI":"10.1007\/3-540-62852-5_9"},{"key":"20_CR9","unstructured":"Dominic Duggan. Dynamic typing for distributed programming in polymorphic languages. Submitted for publication, December 1994."},{"key":"20_CR10","unstructured":"Dominic Duggan. Container objects with polymorphic methods and self types. Submitted for publication, March 1996."},{"key":"20_CR11","unstructured":"Dominic Duggan. Object type constructors. In Workshop on Foundations of Object-Oriented Languages, New Brunswick, New Jersey, July 1996."},{"key":"20_CR12","unstructured":"James Gosling and Henry McGilton. The Java language environment. Technical report, Sun Microsystems White Paper, May 1995."},{"issue":"2","key":"20_CR13","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1145\/227699.227700","volume":"18","author":"C. Hall","year":"1996","unstructured":"Cordelia Hall, Kevin Hammond, Simon Peyton-Jones, and Philip Wadler. Type classes in Haskell. ACM Transactions on Programming Languages and Systems, 18(2):109\u2013138, March 1996.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR14","volume-title":"Compiling polymorphism using intensional type analysis","author":"R. Harper","year":"1995","unstructured":"Robert Harper and Gregory Morrisett. Compiling polymorphism using intensional type analysis. In Proceedings of ACM Symposium on Principles of Programming Languages, San Francisco, California, January 1995. ACM Press."},{"issue":"4","key":"20_CR15","doi-asserted-by":"crossref","first-page":"527","DOI":"10.1145\/69622.357182","volume":"4","author":"M. Herlihy","year":"1982","unstructured":"Maurice Herlihy and Barbara Liskov. A value transmission method for abstract data types. ACM Transactions on Programming Languages and Systems, 4(4):527\u2013551, 1982.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"20_CR16","unstructured":"Bill Janssen and Mike Spreitzer. ILU: Inter-language unification via object modules. Position paper for Workshop at Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications, October 1995."},{"key":"20_CR17","doi-asserted-by":"crossref","unstructured":"F. Knabe. Performance-oriented implementation strategies for a mobile agent language. In J. Vitek and C. Tschudin, editors, Mobile Object Systems, Lecture Notes in Computer Science, chapter 13. Springer-Verlag, 1997.","DOI":"10.1007\/3-540-62852-5_17"},{"key":"20_CR18","volume-title":"PhD thesis","author":"C. Krumvieda","year":"1993","unstructured":"Clifford Krumvieda. Distributed ML: Abstraction for Efficient and Fault-Tolerant Programming. PhD thesis, Cornell University, Ithaca, New York, August 1993."},{"key":"20_CR19","unstructured":"Xavier Leroy. The ZINC experiment: an economical implementation of the ML language. Technical Report 117, INRIA, 1990."},{"issue":"4","key":"20_CR20","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1017\/S0956796800000848","volume":"3","author":"X. Leroy","year":"1993","unstructured":"Xavier Leroy and Michel Mauny. Dynamics in ML. Journal of Functional Programming, 3(4):431\u2013463, 1993.","journal-title":"Journal of Functional Programming"},{"key":"20_CR21","doi-asserted-by":"crossref","unstructured":"Xavier Leroy and Pierre Weiss. Dynamics in ML. In Proceedings ofACM Symposium on Functional Programming and Computer Architecture, 1991.","DOI":"10.1007\/3540543961_20"},{"key":"20_CR22","unstructured":"Robin Milner, Mads Tofte, and Robert Harper. The Definition of Standard ML. The MIT Press, 1990."},{"key":"20_CR23","unstructured":"Greg Nelson. Systems Programming in Modula-3. Prentice-Hall Series in Innovative Technology. Prentice-Hall, 1991."},{"key":"20_CR24","doi-asserted-by":"crossref","unstructured":"Atsushi Ohori and Kazuhiko Kato. Semantics for communication primitives in a polymorphic language. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 99\u2013112. ACM Press, 1993.","DOI":"10.1145\/158511.158529"},{"key":"20_CR25","unstructured":"Simon Peyton-Jones, Cordy Hall, Kevin Hammond, Will Partain, and Philip Wadler. The Glasgow Haskell compiler: a technical overview. In Proceedings of the UK Joint Framework for Information Technology (JFIT) Technical Conference, Keele, England, 1993."},{"key":"20_CR26","unstructured":"Piotr Przybylski. A type based implementation for a language with distributed scope. Master's thesis, University of Waterloo, 1996."},{"key":"20_CR27","doi-asserted-by":"crossref","unstructured":"Francois Rouaix. A Web navigator with applets in CAML. In Fifth International World Wide Web Conference, Paris, France, May 1996.","DOI":"10.1016\/0169-7552(96)00032-3"},{"key":"20_CR28","doi-asserted-by":"crossref","DOI":"10.21236\/ADA306265","volume-title":"TIL: A type-directed optimizing compiler for ML","author":"D. Tarditi","year":"1996","unstructured":"David Tarditi, Greg Morrisett, Perry Cheng, Christopher Stone, Robert Harper, and Peter Lee. TIL: A type-directed optimizing compiler for ML. In Proceedings of ACM SIGPLAN Conferenceon Programming Language Design and Implementation, Philadelphia, Pennsylvania, May 1996. ACM Press."},{"key":"20_CR29","first-page":"1","volume-title":"Tag-free garbage collection using explicit type parameters","author":"A. Tolmach","year":"1994","unstructured":"Andrew Tolmach. Tag-free garbage collection using explicit type parameters. lnProceedings of ACM Symposium on Lisp and Functional Programming, pages 1\u201311, Orlando, Florida, 1994. ACM Press."}],"container-title":["Lecture Notes in Computer Science","Mobile Object Systems Towards the Programmable Internet"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-62852-5_20.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:14:30Z","timestamp":1605647670000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-62852-5_20"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540628521","9783540687054"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-62852-5_20","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}