{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T13:05:03Z","timestamp":1725541503529},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106712"},{"type":"electronic","value":"9783642106729"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2009]]},"DOI":"10.1007\/978-3-642-10672-9_9","type":"book-chapter","created":{"date-parts":[[2009,12,2]],"date-time":"2009-12-02T04:08:11Z","timestamp":1259726891000},"page":"95-110","source":"Crossref","is-referenced-by-count":3,"title":["Witnessing Purity, Constancy and Mutability"],"prefix":"10.1007","author":[{"given":"Ben","family":"Lippmeier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"323","DOI":"10.1007\/978-1-4612-3658-0_8","volume-title":"Current Trends in Hardware Verification and Automated Theorem Proving","author":"A. Avron","year":"1989","unstructured":"Avron, A., Honsell, F., Mason, I.A.: An overview of the Edinburgh Logical Framework. In: Current Trends in Hardware Verification and Automated Theorem Proving, pp. 323\u2013340. Springer, Heidelberg (1989)"},{"key":"9_CR2","doi-asserted-by":"publisher","first-page":"15","DOI":"10.1145\/1190315.1190320","volume-title":"Proc. of TLDI 2007","author":"N. Benton","year":"2007","unstructured":"Benton, N., Buchlovsky, P.: Semantics of an effect analysis for exceptions. In: Proc. of TLDI 2007, pp. 15\u201326. ACM, New York (2007)"},{"key":"9_CR3","series-title":"Electronic Notes in Theoretical Computer Science","first-page":"1","volume-title":"Monads, effects and transformations","author":"N. Benton","year":"1999","unstructured":"Benton, N., Kennedy, A.: Monads, effects and transformations. Electronic Notes in Theoretical Computer Science, pp. 1\u201318. Elsevier, Amsterdam (1999)"},{"key":"9_CR4","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1145\/1273920.1273932","volume-title":"Proc. of PPDP","author":"N. Benton","year":"2007","unstructured":"Benton, N., Kennedy, A., Beringer, L., Hofmann, M.: Relational semantics for effect-based program transformations with dynamic allocation. In: Proc. of PPDP, pp. 87\u201396. ACM, New York (2007)"},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"262","DOI":"10.1145\/292540.292564","volume-title":"Proc. of POPL","author":"K. Crary","year":"1999","unstructured":"Crary, K., Walker, D., Morrisett, G.: Typed memory management in a calculus of capabilities. In: Proc. of POPL, pp. 262\u2013275. ACM, New York (1999)"},{"key":"9_CR6","unstructured":"de Medeiros Santos, A.L.: Compilation by Transformation in Non-Strict Functional Languages. PhD thesis, University of Glasgow (1995)"},{"key":"9_CR7","first-page":"144","volume-title":"Proc. of POPL","author":"J. Launchbury","year":"1993","unstructured":"Launchbury, J.: A natural semantics for lazy evaluation. In: Proc. of POPL, pp. 144\u2013154. ACM, New York (1993)"},{"key":"9_CR8","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/178243.178246","volume-title":"Proc. of PLDI","author":"J. Launchbury","year":"1994","unstructured":"Launchbury, J., Jones, S.P.: Lazy functional state threads. In: Proc. of PLDI, pp. 24\u201335. ACM, New York (1994)"},{"key":"9_CR9","unstructured":"Leroy, X., Doligez, D., Garrigue, J., R\u00e9my, D., Vouillon, J.: The Objective Caml system, release 3.11, documentation and user\u2019s manual. Technical report, INRIA (2008)"},{"key":"9_CR10","unstructured":"Lippmeier, B.: Type Inference and Optimisation for an Impure World. PhD thesis, Australian National University (June 2009) (submitted)"},{"key":"9_CR11","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"Programming Language Implementation and Logic Programming","author":"D.B. MacQueen","year":"1991","unstructured":"MacQueen, D.B.: Standard ML of New Jersey. In: Ma\u0142uszy\u0144ski, J., Wirsing, M. (eds.) PLILP 1991. LNCS, vol.\u00a0528, pp. 1\u201313. Springer, Heidelberg (1991)"},{"key":"9_CR12","unstructured":"Peyton Jones, S., Meijer, E.: Henk: a typed intermediate language. In: Proc. of the Workshop on Types in Compilation (1997)"},{"key":"9_CR13","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1145\/268946.268951","volume-title":"Proc. of POPL","author":"S. Peyton Jones","year":"1998","unstructured":"Peyton Jones, S., Shields, M., Launchbury, J., Tolmach, A.: Bridging the gulf: a common intermediate language for ML and Haskell. In: Proc. of POPL, pp. 49\u201361. ACM, New York (1998)"},{"key":"9_CR14","unstructured":"Shapiro, J., Sridhar, S., Doerrie, S.: BitC language specification. Technical report, The EROS Group and Johns Hopkins University (2008)"},{"key":"9_CR15","volume-title":"Proc. of TLDI","author":"M. Sulzmann","year":"2007","unstructured":"Sulzmann, M., Chakravarty, M.M.T., Jones, S.P., Donnelly, K.: System-F with type equality coercions. In: Proc. of TLDI. ACM, New York (2007)"},{"key":"9_CR16","first-page":"162","volume-title":"Proc. of Logic in Computer Science","author":"J.-P. Talpin","year":"1992","unstructured":"Talpin, J.-P., Jouvelot, P.: The type and effect discipline. In: Proc. of Logic in Computer Science, pp. 162\u2013173. IEEE, Los Alamitos (1992)"},{"key":"9_CR17","unstructured":"Tofte, M., Birkedal, L., Elsman, M., Hallenberg, N., Olesen, T.H., Sestoft, P.: Programming with regions in the MLKit (revised for version 4.3.0). Technical report, IT University of Copenhagen, Denmark (January 2006)"},{"key":"9_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"97","DOI":"10.1007\/BFb0055514","volume-title":"Types in Compilation","author":"A. Tolmach","year":"1998","unstructured":"Tolmach, A.: Optimizing ML using a hierarchy of monadic types. In: Leroy, X., Ohori, A. (eds.) TIC 1998. LNCS, vol.\u00a01473, pp. 97\u2013115. Springer, Heidelberg (1998)"},{"issue":"1","key":"9_CR19","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/601775.601776","volume":"4","author":"P. Wadler","year":"2003","unstructured":"Wadler, P., Thiemann, P.: The marriage of effects and monads. ACM Trans. Computation and Logic\u00a04(1), 1\u201332 (2003)","journal-title":"ACM Trans. Computation and Logic"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10672-9_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T15:09:37Z","timestamp":1685200177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-10672-9_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106712","9783642106729"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10672-9_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}