{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:30:36Z","timestamp":1763469036436},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540649250"},{"type":"electronic","value":"9783540683087"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1998]]},"DOI":"10.1007\/bfb0055524","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T20:48:16Z","timestamp":1154033296000},"page":"273-297","source":"Crossref","is-referenced-by-count":0,"title":["A type-based semantics for user-defined marshalling in polymorphic languages"],"prefix":"10.1007","author":[{"given":"Dominic","family":"Duggan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"16_CR1","unstructured":"Martin Abadi, Luca Cardeli, Benjamin Pierce, and Didier Remy. Dynamic typing in polymorphic languages. In Peter Lee, editor, Proceedings of the ACM SIGPLAN Workshop on ML and its Applications, San Francisco, California, 1992. Carnegie-Mellon University Technical Report CMU-CS-93-105."},{"issue":"2","key":"16_CR2","doi-asserted-by":"publisher","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 andSystems, 13(2): 237\u2013268, 1991.","journal-title":"ACM Transactions on Programming Languages andSystems"},{"issue":"4","key":"16_CR3","doi-asserted-by":"publisher","first-page":"575","DOI":"10.1145\/155183.155231","volume":"15","author":"R. Amadio","year":"1993","unstructured":"Roberto Amadio and Luca Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4): 575\u2013631, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR4","volume-title":"Distributed computing with RPC: The Cambridge approach","author":"J. Bacon","year":"1987","unstructured":"J. Bacon and K. G. Hamilton. Distributed computing with RPC: The Cambridge approach. In Proceedings of IFIP Conference on Distributed Computing, Amsterdam, 1987. North-Holland."},{"key":"16_CR5","volume-title":"Technical report","author":"A. Birrell","year":"1993","unstructured":"A. Birrell, G. Nelson, S. Owicki, and E. Wobber. Network objects. Technical report, DEC Systems Research Center, Palo Alto, California, 1993."},{"issue":"1","key":"16_CR6","doi-asserted-by":"publisher","first-page":"172","DOI":"10.1016\/0890-5401(91)90055-7","volume":"93","author":"V. Breazu-Tannen","year":"1991","unstructured":"Val Breazu-Tannen, Thierry Coquand, Carl Gunter, and Andre Scedrov. Inheritance as implicit coercion. Information and Computation, 93(1): 172\u2013221, 1991.","journal-title":"Information and Computation"},{"key":"16_CR7","doi-asserted-by":"crossref","unstructured":"Peter Buneman and Atsushi Ohori. Polymorphism and type inference in database programming. ACM Transactions on Database Systems, 1996. To appear.","DOI":"10.1145\/227604.227609"},{"key":"16_CR8","unstructured":"Luca Cardelli. Typeful programming. Technical report, DEC Systems Research Center, 1989."},{"key":"16_CR9","doi-asserted-by":"crossref","unstructured":"Roberto Di Cosmo and Delia Kesner. A confluent reduction for the extensional typed \u03bb-calculus with pairs, sums, recursion and terminal object. In Proceedings of the International Conference on Automata, Languages and Programming, volume 700 of Lecture Notes in Computer Science, pages 645\u2013656. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56939-1_109"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Daniel Dougherty. Some lambda calculi with categorical sums and products. In Rewriting Techniques and Applications, Lecture Notes in Computer Science. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-56868-9_12"},{"key":"16_CR11","volume-title":"Extensional polymorphism","author":"C. Dubois","year":"1995","unstructured":"Catherine Dubois, Francois Rouaix, and Pierre Weis. Extensional polymorphism. In Proceedings of ACM Symposium on Principles of Programming Languages, San Francisco, California, 1995. ACM Press."},{"key":"16_CR12","doi-asserted-by":"crossref","unstructured":"Dominic Duggan. Dynamic typing for distributed programming in polymorphic languages. To appear in Transactions on Programming Languages and Systems, 1998.","DOI":"10.1145\/314602.314604"},{"key":"16_CR13","doi-asserted-by":"crossref","unstructured":"Dominic Duggan. Finite subtype inference with explicit polymorphism. Submitted for publication, 1998.","DOI":"10.1007\/3-540-49727-7_18"},{"key":"16_CR14","unstructured":"Dominic Duggan and John Ophel. Scoped parametric overloading. Submitted for publication, 1997."},{"key":"16_CR15","unstructured":"Dominic Duggan and John Ophel. Type-checking multi-parameter type classes. Submitted for publication, 1997."},{"key":"16_CR16","doi-asserted-by":"crossref","unstructured":"Tim Freeman and Frank Pfenning. Refinement types for ML. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 268\u2013277. ACM Press, 1991.","DOI":"10.1145\/113445.113468"},{"key":"16_CR17","unstructured":"James Gosling, Bill Joy, and Guy Steele. The Java Language Specification. The Java Series. Addison-Wesley, 1997."},{"key":"16_CR18","doi-asserted-by":"crossref","unstructured":"Graham Hamilton, Michael L. Powell, and James J. Mitchell. Subcontract: A flexible base for distributed programming. In Symposium on Operating Systems Principles, pages 69\u201379. ACM Press, 1993.","DOI":"10.1145\/168619.168625"},{"issue":"2","key":"16_CR19","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1145\/169701.169696","volume":"15","author":"R. Harper","year":"1993","unstructured":"Robert Harper and John C. Mitchell. On the type structure of Standard ML. ACM Transactions on Programming Languages and Systems, 15(2): 211\u2013252, 1993.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"16_CR20","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, 1995. ACM Press."},{"issue":"4","key":"16_CR21","doi-asserted-by":"publisher","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":"16_CR22","unstructured":"Frederick Knabe. Language Support for Mobile Agents. PhD thesis, Carnegie Mellon University, 1995."},{"key":"16_CR23","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, 1993."},{"issue":"4","key":"16_CR24","doi-asserted-by":"publisher","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\u2013163, 1993.","journal-title":"Journal of Functional Programming"},{"key":"16_CR25","doi-asserted-by":"crossref","unstructured":"Xavier Leroy and Pierre Weiss. Dynamics in ML. In Proceedings of ACM Symposium on Functional Programming and Computer Architecture, 1991.","DOI":"10.1007\/3540543961_20"},{"key":"16_CR26","doi-asserted-by":"crossref","unstructured":"Barbara Liskov. Distributed programming in Argus. Communications of the ACM, 31(3), 1988.","DOI":"10.1145\/42392.42399"},{"key":"16_CR27","unstructured":"J. Gregory Morrisett. Compiling With Types. PhD thesis, Carnegie-Mellon University, 1995."},{"key":"16_CR28","unstructured":"Greg Nelson. Systems Programming in Modula-3. Prentice-Hall Series in Innovative Technology. Prentice-Hall, 1991."},{"key":"16_CR29","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":"16_CR30","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 Conference on Programming Language Design and Implementation, Philadelphia, Pennsylvania, 1996. ACM Press."},{"key":"16_CR31","volume-title":"Technical Report ECRC-93-20","author":"B. Thomsen","year":"1993","unstructured":"Bent Thomsen, Lone Leth, Sanjiva Prasad, Tsung-Min Kuo, Andre Kramer, Fritz Knabe, and Alessandro Giacalone. Facile Antigua release programming guide. Technical Report ECRC-93-20, European Computer-Industry Research Centre, Munich, Germany, 1993."},{"key":"16_CR32","first-page":"250","volume-title":"A practical soft type system for Scheme","author":"A. Wright","year":"1994","unstructured":"Andrew Wright and Robert Cartwright. A practical soft type system for Scheme. In Proceedings of ACM Symposium on Lisp and Functional Programming, pages 250\u2013262, Orland, Florida, 1994. ACM Press."}],"container-title":["Lecture Notes in Computer Science","Types in Compilation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055524","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,20]],"date-time":"2019-04-20T09:07:34Z","timestamp":1555751254000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055524"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649250","9783540683087"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/bfb0055524","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}