{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,25]],"date-time":"2025-03-25T22:48:01Z","timestamp":1742942881889,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":8,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540417392"},{"type":"electronic","value":"9783540447160"}],"license":[{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2001,1,1]],"date-time":"2001-01-01T00:00:00Z","timestamp":978307200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2001]]},"DOI":"10.1007\/3-540-44716-4_17","type":"book-chapter","created":{"date-parts":[[2007,8,15]],"date-time":"2007-08-15T18:16:34Z","timestamp":1187201794000},"page":"264-279","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Monadic Encapsulation with Stack of Regions"],"prefix":"10.1007","author":[{"given":"Koji","family":"Kagawa","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2001,3,21]]},"reference":[{"key":"17_CR1","doi-asserted-by":"crossref","unstructured":"Lars Birkedal, Mads Tofte, and Magnus Vejlstrup. From region inference to von Neumann machines via region representation inference. In 23rd ACM Symposium on Principles of Programming Languages, January 1996.","DOI":"10.1145\/237721.237771"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Koji Kagawa. Compositional references for stateful functional programming. In Proc. of the International Conference on Functional Programming 1997. ACM Press, June 1997.","DOI":"10.1145\/258948.258969"},{"issue":"5","key":"17_CR3","doi-asserted-by":"publisher","first-page":"1411","DOI":"10.1145\/186025.186031","volume":"16","author":"K. L\u00e4ufer","year":"1994","unstructured":"Konstantin L\u00e4ufer and Martin Odersky. Polymorphic type inference and abstract data types. ACM Transactions on Programming Languages and Systems (TOPLAS), 16(5):1411\u20131430, September 1994.","journal-title":"ACM Transactions on Programming Languages and Systems (TOPLAS)"},{"issue":"4","key":"17_CR4","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF01018827","volume":"8","author":"J. Launchbury","year":"1995","unstructured":"John Launchbury and Simon L. Peyton Jones. State in Haskell. Lisp and Symbolic Computation, 8(4):293\u2013341, 1995.","journal-title":"Lisp and Symbolic Computation"},{"key":"17_CR5","doi-asserted-by":"crossref","unstructured":".Miley Semmelroth and Amr Sabry. Monadic encapsulation in ML. In The 1999 International Conference on Functional Programming (ICFP), 1999.","DOI":"10.1145\/317636.317777"},{"issue":"5","key":"17_CR6","doi-asserted-by":"publisher","first-page":"724","DOI":"10.1145\/291891.291894","volume":"20","author":"M. Tofte","year":"1998","unstructured":"Mads Tofte and Lars Birkedal. A region inference algorithm. ACM Transactions on Programming Languages and Systems, 20(5):724\u2013767, July 1998.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"17_CR7","series-title":"Technical Report","volume-title":"Programming with regions in the ML kit","author":"M. Tofte","year":"1997","unstructured":"Mads Tofte, Lars Birkedal, Martin Elsman, Niels Hallenberg, Tommy H\u00d8jfeld Olesen, Peter Sestoft, and Peter Bertelsen. Programming with regions in the ML kit. Technical Report 97\/12, Department of Computer Science, University of Copenhagen, April 1997."},{"key":"17_CR8","doi-asserted-by":"crossref","unstructured":"Mads Tofte and Jean-Pierre Talpin. Implementation of typed call-by-value \u03bb-calculus using a stack of regions. In Annual ACM Symp. on Principles of Prog. Languages, pages 188\u2013201, January 1994.","DOI":"10.1145\/174675.177855"}],"container-title":["Lecture Notes in Computer Science","Functional and Logic Programming"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-44716-4_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,2,8]],"date-time":"2021-02-08T22:20:12Z","timestamp":1612822812000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-44716-4_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2001]]},"ISBN":["9783540417392","9783540447160"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/3-540-44716-4_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2001]]},"assertion":[{"value":"21 March 2001","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}