{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T10:00:30Z","timestamp":1742983230540,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":38,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540421962"},{"type":"electronic","value":"9783540453321"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-45332-6_4","type":"book-chapter","created":{"date-parts":[[2007,7,3]],"date-time":"2007-07-03T15:56:22Z","timestamp":1183478182000},"page":"85-116","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Sharing in Typed Module Assembly Language"],"prefix":"10.1007","author":[{"given":"Dominic","family":"Duggan","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,6,13]]},"reference":[{"key":"4_CR1","unstructured":"Martin Abadi, Luca Cardeli, Benjamin Pierce, and Didier Remy. Dynamic typing in polymorphic languages. In Peter Lee, editor, Proceedings of the ACM SIG-PLAN Workshop on ML and its Applications, San Francisco, California, June 1992. Carnegie-Mellon University Technical Report CMU-CS-93-105."},{"issue":"2","key":"4_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 and Systems, 13(2):237\u2013268, 1991.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"4","key":"4_CR3","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1017\/S0960129598002576","volume":"8","author":"D. Ancona","year":"1998","unstructured":"David Ancona and Elena Zucca. A theory of mixin modules: Basic and derived operators. Mathematical Structures in Computer Science, 8(4):401\u2013446, 1998.","journal-title":"Mathematical Structures in Computer Science"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"David Ancona and Elena Zucca. A primitive calculus for module systems. In Proceedings of the International Conference on Principles and Practice of Declarative Programming, Paris, France, September 1999. Springer-Verlag.","DOI":"10.1007\/10704567_4"},{"key":"4_CR5","doi-asserted-by":"crossref","unstructured":"B. N. Bershad, S. Savage, P. Pardyak, E. G. Sirer, M. E. Fiuczynski, D. Becker, C. Chambers, and S. Egger. Extensibility, safety and performance in the SPIN operating system. In Symposium on Operating Systems Principles, pages 267\u2013283, Copper Mountain, CO, 1995. ACM Press.","DOI":"10.1145\/224057.224077"},{"key":"4_CR6","doi-asserted-by":"crossref","unstructured":"Edoardo Biagioni, Robert Harper, Peter Lee, and Brian G. Milnes. Signatures for a network protocol stack: A systems application of standard ML. In Proceedings of ACM Symposium on Lisp and Functional Programming, pages 55\u201364, Orlando, Florida, January 1994. ACM Press.","DOI":"10.1145\/182590.182431"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Luca Cardelli. Program fragments, linking and modularization. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 266\u2013277. ACM Press, January 1997.","DOI":"10.1145\/263699.263735"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Karl Crary, Robert Harper, and S. Puri. What is a recursive module? In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, Atlanta, GA, 1999. ACM Press.","DOI":"10.1145\/301618.301641"},{"key":"4_CR9","series-title":"Lect Notes Comput Sci","volume-title":"Workshop on Types in Compilation","author":"K. Crary","year":"2001","unstructured":"Karl Crary, Michael Hicks, and Stephanie Weirich. Safe and flexible dynamic linking of native code. In Workshop on Types in Compilation, Lecture Notes in Computer Science, Montreal, Quebec, Canada, September 2000. Springer-Verlag. 108 D. Duggan"},{"key":"4_CR10","series-title":"Lect Notes Comput Sci","volume-title":"Proceedings of the International Conference on Automata, Languages and Programming","author":"K. Crary","year":"1999","unstructured":"Karl Crary and Greg Morrisett. Type structure for low-level programming languages. In Proceedings of the International Conference on Automata, Languages and Programming, Lecture Notes in Computer Science. Springer-Verlag, 1999."},{"issue":"1","key":"4_CR11","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/314602.314604","volume":"21","author":"D. Duggan","year":"1999","unstructured":"Dominic Duggan. Dynamic typing for distributed programming in polymorphic languages. ACM Transactions on Programming Languages and Systems, 21(1):11\u201345, January 1999.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"4_CR12","unstructured":"Dominic Duggan. Type-safe dynamic linking with recursive DLLs and shared libraries. Technical report, Stevens Institute of Technology, 2000."},{"key":"4_CR13","doi-asserted-by":"crossref","unstructured":"M. Flatt and M. Felleisen. Units: Cool modules for HOT languages. In Proceedings of ACM SIGPLAN Conference on Programming Language Design and Implementation, 1998.","DOI":"10.1145\/277650.277730"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Neal Glew and Greg Morrisett. Type-safe linking and modular assembly languages. In Proceedings of ACM Symposium on Principles of Programming Languages, San Antonio, Texas, January 1999. ACM Press.","DOI":"10.1145\/292540.292563"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Robert Harper and Mark Lillibridge. A type-theoretic approach to higher-order modules with sharing. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 123\u2013137, Portland, Oregon, January 1994. ACM Press.","DOI":"10.1145\/174675.176927"},{"key":"4_CR16","doi-asserted-by":"crossref","unstructured":"Robert Harper, John Mitchell, and Eugenio Moggi. Higher-order modules and the phase distinction. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 341\u2013354. Association for Computing Machinery, 1990.","DOI":"10.1145\/96709.96744"},{"key":"4_CR17","unstructured":"Michael Hicks and Stephanie Weirich. A calculus for dynamic loading. Technical Report MS-CIS-00-07, University of Pennsylvania, 2000."},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Xavier Leroy. Manifest types, modules, and separate compilation. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 109\u2013122, Portland, Oregon, January 1994. acmp.","DOI":"10.1145\/174675.176926"},{"key":"4_CR19","doi-asserted-by":"crossref","unstructured":"Xavier Leroy. Applicative functors and fully transparent higher-order modules. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 154\u2013163, San Francisco, California, January 1995. ACM Press.","DOI":"10.1145\/199448.199476"},{"issue":"4","key":"4_CR20","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\u2013463, 1993.","journal-title":"Journal of Functional Programming"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Sheng Liang and Gilad Bracha. Dynamic class loading in the Java virtual machine. In Proceedings of ACM Symposium on Object-Oriented Programming: Systems, Languages and Applications. ACM Press, October 1998.","DOI":"10.1145\/286936.286945"},{"key":"4_CR22","series-title":"Technical Report","volume-title":"Translucent Sums: A Foundation for Higher-Order Module Systems","author":"M. Lillibridge","year":"1997","unstructured":"Mark Lillibridge. Translucent Sums: A Foundation for Higher-Order Module Systems. PhD thesis, Carnegie-Mellon University, Pittsburgh, PA, May 1997. Technical Report CMU-CS-97-122."},{"key":"4_CR23","doi-asserted-by":"crossref","unstructured":"David MacQueen. Using dependent types to express modular structure. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 277\u2013286. ACM Press, 1986.","DOI":"10.1145\/512644.512670"},{"key":"4_CR24","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"409","DOI":"10.1007\/3-540-57880-3_27","volume-title":"European Symposium on Programming","author":"D. MacQueen","year":"1994","unstructured":"David MacQueen and Mads Tofte. A semantics for higher-order functors. In European Symposium on Programming, volume 788 of Lecture Notes in Computer Science, pages 409\u2013423. Springer-Verlag, 1994."},{"key":"4_CR25","unstructured":"Robin Milner. Communication and Concurrency. Prentice-Hall, 1989."},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. The Revised De nition of Standard ML. The MIT Press, 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"4_CR27","doi-asserted-by":"crossref","unstructured":"Greg Morrisett, Karl Crary, Neal Glew, Dan Grossman, Richard Samuels, Frederick Smith, David Walker, Stephanie Weirich, and Steve Zdancewic. TALx86: A realistic typed assembly language. In Workshop on Compiler Support for Software Systems (WCSSS), Atlanta, GA, May 1999. Sharing in Typed Module Assembly Language 109","DOI":"10.21236\/ADA358572"},{"key":"4_CR28","doi-asserted-by":"crossref","unstructured":"Greg Morrisett, David Walker, Karl Crary, and Neal Glew. From System F to typed assembly language. In Proceedings of ACM Symposium on Principles of Programming Languages, 1998.","DOI":"10.21236\/ADA358572"},{"key":"4_CR29","doi-asserted-by":"crossref","unstructured":"George Necula. Proof-carrying code. In Proceedings of ACM Symposium on Principles of Programming Languages, 1997.","DOI":"10.1145\/263699.263712"},{"key":"4_CR30","doi-asserted-by":"crossref","unstructured":"George Necula and Peter Lee. Safe kernel extensions without run-time checking. In Operating Systems Design and Implementation, 1996.","DOI":"10.1145\/238721.238781"},{"issue":"1","key":"4_CR31","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1002\/(SICI)1096-9942(1998)4:1<27::AID-TAPO3>3.0.CO;2-4","volume":"4","author":"D. R\u00e9emy","year":"1998","unstructured":"Didier R\u00e9emy and J\u00e9er\u00f4me Vouillon. Objective ML: An effective object-oriented extension to ml. Theory and Practice of Object Systems, 4(1):27\u201350, 1998.","journal-title":"Theory and Practice of Object Systems"},{"key":"4_CR32","doi-asserted-by":"crossref","unstructured":"Claudio Russo. Adding first-class modules to Standard ML. In European Symposium on Programming, Berlin, Germany, April 2000. Springer-Verlag.","DOI":"10.1007\/3-540-46425-5_22"},{"key":"4_CR33","doi-asserted-by":"crossref","unstructured":"Zhong Shao. Transparent modules with fully syntactic signatures. In Proceedings of ACM International Conference on Functional Programming, Paris, France, September 1999.","DOI":"10.1145\/317636.317801"},{"key":"4_CR34","doi-asserted-by":"crossref","unstructured":"Mark Shields, Tim Sheard, and Simon Peyton-Jones. Dynamic typing as staged type inference. In Proceedings of ACM Symposium on Principles of Programming Languages, pages 289\u2013302, San Diego, California, January 1998. ACM Press.","DOI":"10.1145\/268946.268970"},{"key":"4_CR35","doi-asserted-by":"crossref","unstructured":"Robert Wahbe, Steven Lucco, Thomas E. Anderson, and Susan L. Graham. Efficient software-based fault isolation. In Symposium on Operating Systems Principles, pages 203\u2013216. ACM Press, 1993.","DOI":"10.1145\/173668.168635"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Dan S. Wallach, Dirk Balfanz, Drew Dean, and Edward W. Felten. Extensible security architectures for Java. In Symposium on Operating Systems Principles. ACM Press, 1997.","DOI":"10.1145\/268998.266668"},{"key":"4_CR37","doi-asserted-by":"crossref","unstructured":"Stephanie Weirich. Type-safe cast (functional pearl). In Proceedings of ACM International Conference on Functional Programming, Montreal, Canada, September 2000. ACM Press.","DOI":"10.1145\/351240.351246"},{"key":"4_CR38","doi-asserted-by":"crossref","unstructured":"Joseph B. Wells and Ren\u00e9e Vestergaard. Equational reasoning for linking with first-class primitive modules. In European Symposium on Programming, Berlin, Germany, April 2000. Springer-Verlag.","DOI":"10.1007\/3-540-46425-5_27"}],"container-title":["Lecture Notes in Computer Science","Types in Compilation"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45332-6_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,18]],"date-time":"2023-02-18T01:55:42Z","timestamp":1676685342000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-45332-6_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540421962","9783540453321"],"references-count":38,"URL":"https:\/\/doi.org\/10.1007\/3-540-45332-6_4","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"13 June 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}