{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,1]],"date-time":"2026-02-01T05:20:23Z","timestamp":1769923223120,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540656999","type":"print"},{"value":"9783540490999","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-49099-x_9","type":"book-chapter","created":{"date-parts":[[2007,6,24]],"date-time":"2007-06-24T21:03:21Z","timestamp":1182719001000},"page":"128-146","source":"Crossref","is-referenced-by-count":7,"title":["Safe and Principled Language Interoperation"],"prefix":"10.1007","author":[{"given":"Valery","family":"Trifonov","sequence":"first","affiliation":[]},{"given":"Zhong","family":"Shao","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2002,3,28]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"William D Clinger, Anne H Hartheimer, and Eric M Ost. Implementation strategies for continuations. In ACM Conference on Lisp and Functional Programming, pages 124\u2013131, NewYork, June 1988. ACM Press.","DOI":"10.1145\/62678.62692"},{"key":"9_CR2","unstructured":"Andrzej Filinski. Controlling Effects. PhD thesis, CMU, 1996."},{"key":"9_CR3","doi-asserted-by":"crossref","unstructured":"Cormac Flanagan, Amr Sabry, Bruce F. Duba, and Matthias Felleisen. The essence of compiling with continuations. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 237\u2013247, NewYork, June 1993. ACM Press.","DOI":"10.1145\/155090.155113"},{"key":"9_CR4","unstructured":"David K. Gifford, Pierre Jouvelot, John M. Lucassen, and Mark A. Sheldon. FX-87 reference manual. Technical Report MIT\/LCS\/TR-407, M.I.T. Laboratory for Computer Science, September 1987."},{"key":"9_CR5","doi-asserted-by":"crossref","unstructured":"Robert Hieb, R. Kent Dybvig, and Carl Bruggeman. Representing control in the presence of first-class continuations. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 66\u201377, NewYork, 1990. ACM Press.","DOI":"10.1145\/93548.93554"},{"key":"9_CR6","unstructured":"Lorenz Huelsbergen. A portable C interface for Standard ML of New Jersey. Technical memorandum, AT&T Bell Laboratories, Murray Hill, NJ, January 1996."},{"key":"9_CR7","doi-asserted-by":"crossref","unstructured":"Pierre Jouvelot and David K. Gifford. Reasoning about continuations with control effects. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 218\u2013226. ACM Press, 1989.","DOI":"10.1145\/73141.74837"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"Pierre Jouvelot and David K. Gifford. Algebraic reconstruction of types and effects. In 18th Annual ACM Symposium on Principles of Programming Languages, pages 303\u2013310, New York, Jan 1991. ACM Press.","DOI":"10.1145\/99583.99623"},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"John Launchbury and Simon Peyton Jones. Lazy functional state threads. In ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 24\u201335, NewYork, June 1994. ACM Press.","DOI":"10.1145\/178243.178246"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"Sheng Liang, Paul Hudak, and Mark Jones. Monad transformers and modular interpreters. In 22nd AnnualACMSIGPLAN-SIGACT Symposium on Principles of Programming Languages pages 333\u2013343. ACM Press, 1995.","DOI":"10.1145\/199448.199528"},{"key":"9_CR11","volume-title":"Systems programming with Modula-3","year":"1991","unstructured":"Greg Nelson, editor. Systems programming with Modula-3. Prentice Hall, Englewood Cliffs, NJ, 1991."},{"key":"9_CR12","volume-title":"The Common Object Request Broker: Architecture and specifications (CORBA). Revision 1.2.","author":"Object Management Group (OMG)","year":"1993","unstructured":"Object Management Group (OMG). The Common Object Request Broker: Architecture and specifications (CORBA). Revision 1.2., Object Management Group (OMG), Framingham, MA, December 1993."},{"key":"9_CR13","unstructured":"Simon Peyton Jones, Eric Meijer, and Daan Leijen. Scripting COM components in Haskell. Available at http:\/\/www.dcs.gla.ac.uk\/~simonpj\/com.ps.gz , 1997."},{"key":"9_CR14","unstructured":"Simon Peyton Jones, Thomas Nordin, and Alastair Reid. Green card: A foreign-language interface for Haskell. Available at http:\/\/www.dcs.gla.ac.uk\/fp\/authors\/Simon_Peyton_Jones\/green-card-1.ps.gz , 1997."},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"Dale Rogerson. Inside COM: Microsoft\u2019s Component Object Model. Microsoft Press, 1997.","DOI":"10.1049\/ee.1997.0007"},{"key":"9_CR16","unstructured":"Zhong Shao. Typed common intermediate format. In USENIX Conference on Domain Specific Languages, pages 89\u2013102, October 1997."},{"key":"9_CR17","series-title":"Lect Notes Comput Sci","doi-asserted-by":"publisher","first-page":"116","DOI":"10.1007\/BFb0055515","volume-title":"2nd International Workshop on Types in Compilation","author":"Z. Shao","year":"1998","unstructured":"Zhong Shao and Valery Trifonov. Type-directed continuation allocation. In 2nd International Workshop on Types in Compilation, volume 1473 of LNCS, pages 116\u2013135, Berlin, 1998. Springer."},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"Jean-Pierre Talpin and Pierre Jouvelot. Polymorphic type, region, and effect inference. Journal of Functional Programming, 2(3), 1992.","DOI":"10.1017\/S0956796800000393"},{"issue":"2","key":"9_CR19","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1006\/inco.1994.1046","volume":"111","author":"J.-P. Talpin","year":"1994","unstructured":"Jean-Pierre Talpin and Pierre Jouvelot. The type and effect discipline. Information and Computation, 111(2):245\u2013296, June 1994.","journal-title":"Information and Computation"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Philip Wadler. The essence of functional programming (invited talk). In 19th Annual ACM Symposium on Principles of Programming Languages, NewYork, Jan 1992. ACM Press.","DOI":"10.1145\/143165.143169"},{"key":"9_CR21","unstructured":"Philip Wadler. How to declare an imperative (invited talk). In International Logic Programming Symposium, Portland, Oregon, December 1995. MIT Press."},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Philip Wadler. The marriage of effects and monads. In ACM SIGPLAN International Conference on Functional Programming, pages 63\u201374. ACM Press, 1998.","DOI":"10.1145\/289423.289429"},{"issue":"1","key":"9_CR23","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A. K. Wright","year":"1994","unstructured":"Andrew K. Wright and Matthias Felleisen. A syntactic approach to type soundness. Information and Computation, 115(1):38\u201394, November 1994.","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-49099-X_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,12]],"date-time":"2023-05-12T13:29:46Z","timestamp":1683898186000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-49099-X_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540656999","9783540490999"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-49099-x_9","relation":{},"ISSN":["0302-9743"],"issn-type":[{"value":"0302-9743","type":"print"}],"subject":[],"published":{"date-parts":[[2002]]}}}