{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,30]],"date-time":"2026-09-30T03:23:08Z","timestamp":1790738588025,"version":"4.1.0"},"publisher-location":"Berlin, Heidelberg","reference-count":26,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783540330950","type":"print"},{"value":"9783540330967","type":"electronic"}],"license":[{"start":{"date-parts":[[2006,1,1]],"date-time":"2006-01-01T00:00:00Z","timestamp":1136073600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2006]]},"DOI":"10.1007\/11693024_2","type":"book-chapter","created":{"date-parts":[[2006,3,28]],"date-time":"2006-03-28T13:30:35Z","timestamp":1143552635000},"page":"7-21","source":"Crossref","is-referenced-by-count":36,"title":["Linear Regions Are All You Need"],"prefix":"10.1007","author":[{"given":"Matthew","family":"Fluet","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Greg","family":"Morrisett","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Amal","family":"Ahmed","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"Cyclone, version 0.9. (2005), http:\/\/www.eecs.harvard.edu\/~greg\/cyclone\/"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1006\/inco.1996.2613","volume":"132","author":"M. Tofte","year":"1997","unstructured":"Tofte, M., Talpin, J.P.: Region-based memory management. Information and Computation\u00a0132(2), 109\u2013176 (1997)","journal-title":"Information and Computation"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Hicks, M., Morrisett, G., Grossman, D., Jim, T.: Experience with safe manual memory-management in Cyclone. In: Proc. International Symposium on Memory Management, pp. 73\u201384 (2004)","DOI":"10.1145\/1029873.1029883"},{"key":"2_CR4","unstructured":"Fluet, M., Wang, D.: Implementation and performance evaluation of a safe runtime system in Cyclone. In: Proc. SPACE Workshop (2004)"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Grossman, D., Morrisett, G., Jim, T., Hicks, M., Wang, Y., Cheney, J.: Regionbased memory management in Cyclone. In: Proc. Programming Language Design and Implementation, pp. 282\u2013293 (2002)","DOI":"10.1145\/512561.512563"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Fluet, M., Morrisett, G.: Monadic regions. In: Proc. International Conference on Functional Programming, pp. 103\u2013114 (2004)","DOI":"10.1145\/1016850.1016867"},{"issue":"4","key":"2_CR7","doi-asserted-by":"publisher","first-page":"293","DOI":"10.1007\/BF01018827","volume":"8","author":"J. Launchbury","year":"1995","unstructured":"Launchbury, J., Peyton Jones, S.: State in Haskell. Lisp and Symbolic Computation\u00a08(4), 293\u2013341 (1995)","journal-title":"Lisp and Symbolic Computation"},{"key":"2_CR8","doi-asserted-by":"crossref","unstructured":"Ahmed, A., Fluet, M., Morrisett, G.: A step-indexed model of substructural state. In: Proc. International Conference on Functional Programming, pp. 78\u201391 (2005)","DOI":"10.1145\/1086365.1086376"},{"key":"2_CR9","first-page":"3","volume-title":"Advanced Topics in Types and Programming Languages","author":"D. Walker","year":"2005","unstructured":"Walker, D.: Substructural type systems. In: Pierce, B. (ed.) Advanced Topics in Types and Programming Languages, pp. 3\u201343. MIT Press, Cambridge (2005)"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Pfenning, F., Sch\u00fcrmann, C.: Twelf \u2013 a meta-logic framework for deductive systems. In: Proc. Conference on Automated Deduction, pp. 202\u2013206 (1999)","DOI":"10.1007\/3-540-48660-7_14"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"120","DOI":"10.1007\/10930755_8","volume-title":"Theorem Proving in Higher Order Logics","author":"C. Sch\u00fcrmann","year":"2003","unstructured":"Sch\u00fcrmann, C., Pfenning, F.: A coverage checking algorithm for LF. In: Basin, D., Wolff, B. (eds.) TPHOLs 2003. LNCS, vol.\u00a02758, pp. 120\u2013135. Springer, Heidelberg (2003)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Chen, C., Xi, H.: Combining programming with theorem proving. In: Proc. International Conference on Functional Programming, pp. 66\u201377 (2005)","DOI":"10.1145\/1086365.1086375"},{"key":"2_CR13","unstructured":"Sheard, T., Pasalic, E.: Meta-programming with built-in type equality (extended abstract). In: International Workshop on Logical Frameworks and Meta-Languages (2004)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Mandelbaum, Y., Walker, D., Harper, R.: An effective theory of type refinements. In: Proc. International Conference on Functional Programming, pp. 213\u2013225 (2003)","DOI":"10.1145\/944705.944725"},{"key":"2_CR15","unstructured":"Tofte, M., Birkedal, L., Elsman, M., Hallenberg, N., Olesen, T.H., Sestoft, P.: Programming with regions in the ML Kit (for version 4). Technical report, IT University of Copenhagen (2002)"},{"key":"2_CR16","doi-asserted-by":"crossref","unstructured":"Aiken, A., F\u00e4hndrich, M., Levien, R.: Better static memory management: Improving region-based analysis of higher-order languages. In: Proc. Programming Language Design and Implementation, pp. 174\u2013185 (1995)","DOI":"10.1145\/223428.207137"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Henglein, F., Makholm, H., Niss, H.: A direct approach to control-flow sensitive region-based memory management. In: Proc. Principles and Practice of Declarative Programming, pp. 175\u2013186 (2001)","DOI":"10.1145\/773184.773203"},{"issue":"4","key":"2_CR18","doi-asserted-by":"publisher","first-page":"701","DOI":"10.1145\/363911.363923","volume":"24","author":"D. Walker","year":"2000","unstructured":"Walker, D., Crary, K., Morrisett, G.: Typed memory management in a calculus of capabilities. ACM Transactions on Programming Languages and Systems\u00a024(4), 701\u2013771 (2000)","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"2_CR19","doi-asserted-by":"crossref","unstructured":"Walker, D., Watkins, K.: On regions and linear types. In: Proc. International Conference on Functional Programming, pp. 181\u2013192 (2001)","DOI":"10.1145\/507635.507658"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Wang, D., Appel, A.: Type-preserving garbage collectors. In: Proc. Principles of Programming Languages, pp. 166\u2013178 (2001)","DOI":"10.1145\/360204.360218"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Monnier, S., Saha, B., Shao, Z.: Principled scavenging. In: Proc. Programming Language Design and Implementation, pp. 81\u201391 (2001)","DOI":"10.1145\/378795.378817"},{"key":"2_CR22","unstructured":"Hawblitzel, C., Wei, E., Huang, H., Krupski, E., Wittie, L.: Low-level linear memory management. In: Proc. SPACE Workshop (2004)"},{"key":"2_CR23","doi-asserted-by":"crossref","unstructured":"DeLine, R., F\u00e4hndrich, M.: Enforcing high-level protocols in low-level software. In: Proc. Programming Language Design and Implementation, pp. 59\u201369 (2001)","DOI":"10.1145\/381694.378811"},{"key":"2_CR24","doi-asserted-by":"crossref","unstructured":"F\u00e4hndrich, M., DeLine, R.: Adoption and focus: Practical linear types for imperative programming. In: Proc. Programming Language Design and Implementation, pp. 13\u201324 (2002)","DOI":"10.1145\/543552.512532"},{"key":"2_CR25","doi-asserted-by":"crossref","unstructured":"Morrisett, G., Ahmed, A., Fluet, M.: L3: A linear language with locations. In: Proc. Typed Lambda Calculi and Applications, pp. 293\u2013307 (2005)","DOI":"10.1007\/11417170_22"},{"key":"2_CR26","unstructured":"Ahmed, A., Fluet, M., Morrisett, G.: L3: A linear language with locations. Technical Report TR-24-04, Harvard University (2004)"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11693024_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T17:16:44Z","timestamp":1555521404000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11693024_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006]]},"ISBN":["9783540330950","9783540330967"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/11693024_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006]]}}}