{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:34:52Z","timestamp":1725467692372},"publisher-location":"Berlin, Heidelberg","reference-count":30,"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\/bfb0055515","type":"book-chapter","created":{"date-parts":[[2006,7,27]],"date-time":"2006-07-27T20:48:16Z","timestamp":1154033296000},"page":"116-135","source":"Crossref","is-referenced-by-count":2,"title":["Type-directed continuation allocation"],"prefix":"10.1007","author":[{"given":"Zhong","family":"Shao","sequence":"first","affiliation":[]},{"given":"Valery","family":"Trifonov","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,28]]},"reference":[{"key":"7_CR1","first-page":"99","volume-title":"Representing control in the presence of oneshot continuations","author":"C. Bruggeman","year":"1996","unstructured":"C. Bruggeman, O. Waddell, and K. Dybvig. Representing control in the presence of oneshot continuations. In Proc. ACM SIGPLAN \u201996 Conf. on Prog. Lang. Design and Implementation, pages 99\u2013107, New York, June 1996. ACM Press."},{"key":"7_CR2","first-page":"124","volume-title":"Implementation strategies for continuations","author":"W. D. Clinger","year":"1988","unstructured":"W. D. Clinger, A. H. Hartheimer, and E. M. Ost. Implementation strategies for continuations. In 1988 ACM Conference on Lisp and Functional Programming, pages 124\u2013131, New York, June 1988. ACM Press."},{"key":"7_CR3","unstructured":"A. Dimock, R. Muller, F. Turbak, and J. B. Wells. Strongly typed flow-directed representation transformations. In Proc. 1997 ACM SIGPLAN International Conference on Functional Programming (ICFP\u201997), pages 11\u201324. ACM Press, June 1997."},{"key":"7_CR4","first-page":"237","volume-title":"The essence of compiling with continuations","author":"C. Flanagan","year":"1993","unstructured":"C. Flanagan, A. Sabry, B. F. Duba, and M. Felleisen. The essence of compiling with continuations. In Proc. ACM SIGPLAN \u201993 Conf. on Prog. Lang. Design and Implementation, pages 237\u2013247, New York, June 1993. ACM Press."},{"key":"7_CR5","unstructured":"D. K. Gifford et al. FX-87 reference manual. Technical Report MIT\/LCS\/TR-407, M.I.T. Laboratory for Computer Science, September 1987."},{"key":"7_CR6","volume-title":"Integrating functional and imperative programming","author":"D. Gifford","year":"1986","unstructured":"D. Gifford and J. Lucassen. Integrating functional and imperative programming. In 1986 ACM Conference on Lisp and Functional Programming, New York, August 1986. ACM Press."},{"key":"7_CR7","first-page":"130","volume-title":"Compiling polymorphism using intensional type analysis","author":"R. Harper","year":"1995","unstructured":"R. Harper and G. Morrisett. Compiling polymorphism using intensional type analysis. In Twenty-second Annual ACM Symp. on Principles of Prog. Languages, pages 130\u2013141, New York, Jan 1995. ACM Press."},{"key":"7_CR8","first-page":"66","volume-title":"Representing control in the presence of firstclass continuations","author":"R. Hieb","year":"1990","unstructured":"R. Hieb, R. K. Dybvig, and C. Bruggeman. Representing control in the presence of firstclass continuations. In Proc. ACM SIGPLAN \u201990 Conf. on Prog. Lang. Design and Implementation, pages 66\u201377, New York, 1990. ACM Press."},{"key":"7_CR9","volume-title":"Technical memorandum","author":"L. Huelsbergen","year":"1996","unstructured":"L. Huelsbergen. A portable C interface for Standard ML of New Jersey. Technical memorandum, AT&T Bell Laboratories, Murray Hill, NJ, January 1996."},{"key":"7_CR10","doi-asserted-by":"crossref","unstructured":"P. Jouvelot and D. K. Gifford. Reasoning about continuations with control effects. In Proc. ACM SIGPLAN \u201989 Conf. on Prog. Lang. Design and Implementation, pages 218\u2013226. ACM Press, 1989.","DOI":"10.1145\/73141.74837"},{"key":"7_CR11","first-page":"303","volume-title":"Algebraic reconstruction of types and effects","author":"P. Jouvelot","year":"1991","unstructured":"P. Jouvelot and D. K. Gifford. Algebraic reconstruction of types and effects. In Eighteenth Annual ACM Symp. on Principles of Prog. Languages, pages 303\u2013310, New York, Jan 1991. ACM Press."},{"key":"7_CR12","first-page":"24","volume-title":"Lazy functional state threads","author":"J. Launchbury","year":"1994","unstructured":"J. Launchbury and S. Peyton Jones. Lazy functional state threads. In Proc. ACM SIGPLAN \u201994 Conf. on Prog. Lang. Design and Implementation, pages 24\u201335, New York, June 1994. ACM Press."},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"S. Liang, P. Hudak, and M. Jones. Monad transformers and modular interpreters. In Proc. 22rd Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pages 333\u2013343. ACM Press, 1995.","DOI":"10.1145\/199448.199528"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"G. Morrisett, D. Walker, K. Crary, and N. Glew. From system F to typed assembly language. In Proc. 25rd Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, page (to appear). ACM Press, 1998.","DOI":"10.1145\/268946.268954"},{"key":"7_CR15","series-title":"Tech Report CMU-CS-95-226","volume-title":"PhD thesis","author":"G. Morrisett","year":"1995","unstructured":"G. Morrisett. Compiling with Types. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, December 1995. Tech Report CMU-CS-95-226."},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"S. Peyton Jones, J. Launchbury, M. Shields, and A. Tolmach. Bridging the gulf: a common intermediate language for ML and Haskell. In Proc. 25rd Annual ACM SIGPIAN-SIGACT Symp. on Principles of Programming Languages, page (to appear). ACM Press, 1998.","DOI":"10.1145\/268946.268951"},{"key":"7_CR17","unstructured":"S. Peyton Jones and E. Meijer. Henk: a typed intermediate language. In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation, June 1997."},{"key":"7_CR18","unstructured":"S. Peyton Jones, T. Nordin, and A. Reid. Green card: a foreign-language interface for Haskell. Available at http:\/\/www.dcs.gla.ac.uk:80\/ simonpj\/green-card.ps.gz, 1997."},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"D. Rogerson. Inside COM: Microsoft\u2019s Component Object Model. Microsoft Press, 1997.","DOI":"10.1049\/ee.1997.0007"},{"key":"7_CR20","first-page":"150","volume-title":"Space-efficient closure representations","author":"Z. Shao","year":"1994","unstructured":"Z. Shao and A. W. Appel. Space-efficient closure representations. In 1994 ACM Conference on Lisp and Functional Programming, pages 150\u2013161, New York, June 1994. ACM Press."},{"key":"7_CR21","unstructured":"Z. Shao. An overview of the FLINT\/ML compiler. In Proc. 1997 ACM SIGPLAN Workshop on Types in Compilation, June 1997."},{"key":"7_CR22","unstructured":"Z. Shao. Typed common intermediate format. In Proc. 1997 USENIX Conference on Domain Specific Languages, pages 89\u2013102, October 1997."},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"J.-P. Talpin and P. Jouvelot. Polymorphic type, region, and effect inference. Journal of Functional Programming, 2(3), 1992.","DOI":"10.1017\/S0956796800000393"},{"issue":"2","key":"7_CR24","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1006\/inco.1994.1046","volume":"111","author":"J.-P. Talpin","year":"1994","unstructured":"J.-P. Talpin and P. Jouvelot. The type and effect discipline. Information and Computation, 111(2): 245\u2013296, June 1994.","journal-title":"Information and Computation"},{"key":"7_CR25","doi-asserted-by":"crossref","unstructured":"D. Tarditi, G. Morrisett, P. Cheng, C. Stone, R. Harper, and P. Lee. TIL: A type-directed optimizing compiler for ML. In Proc. ACM SIGPLAN \u201996 Conf. on Prog. Lang. Design and Implementation, pages 181\u2013192. ACM Press, 1996.","DOI":"10.1145\/231379.231414"},{"key":"7_CR26","series-title":"Tech Report CMU-CS-97-108","volume-title":"PhD thesis","author":"D. Tarditi","year":"1996","unstructured":"D. Tarditi. Design and Implementation of Code Optimizations for a Type-Directed Compiler for Standard ML. PhD thesis, School of Computer Science, Carnegie Mellon University, Pittsburgh, PA, December 1996. Tech Report CMU-CS-97-108."},{"key":"7_CR27","volume-title":"The common object request broker: Architecture and specifications (CORBA)","author":"The Object Management Group","year":"1993","unstructured":"The Object Management Group. The common object request broker: Architecture and specifications (CORBA). Revision 1.2., Object Management Group (OMG), Framingham, MA, December 1993."},{"key":"7_CR28","doi-asserted-by":"crossref","unstructured":"M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value \u03bb-calculus using a stack of regions. In Proc. 21st Annual ACM SIGPLAN-SIGACT Symp. on Principles of Programming Languages, pages 188\u2013201. ACM Press, 1994.","DOI":"10.1145\/174675.177855"},{"key":"7_CR29","volume-title":"The essence of functional programming (invited talk)","author":"P. Wadler","year":"1992","unstructured":"P. Wadler. The essence of functional programming (invited talk). In Nineteenth Annual ACM Symp. on Principles of Prog. Languages, New York, Jan 1992. ACM Press."},{"key":"7_CR30","volume-title":"How to declare an imperative (invited talk)","author":"P. Wadler","year":"1995","unstructured":"P. Wadler. How to declare an imperative (invited talk). In International Logic Programming Symposium, Portland, Oregon, December 1995. MIT Press."}],"container-title":["Lecture Notes in Computer Science","Types in Compilation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0055515","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,8]],"date-time":"2023-05-08T07:21:57Z","timestamp":1683530517000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0055515"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1998]]},"ISBN":["9783540649250","9783540683087"],"references-count":30,"URL":"https:\/\/doi.org\/10.1007\/bfb0055515","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1998]]}}}