{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T06:04:04Z","timestamp":1725516244608},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540705932"},{"type":"electronic","value":"9783540705949"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-70594-9_12","type":"book-chapter","created":{"date-parts":[[2008,8,12]],"date-time":"2008-08-12T16:07:43Z","timestamp":1218557263000},"page":"193-219","source":"Crossref","is-referenced-by-count":3,"title":["The Expression Lemma"],"prefix":"10.1007","author":[{"given":"Ralf","family":"L\u00e4mmel","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ondrej","family":"Rypacek","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","unstructured":"Awodey, S.: Category Theory. Clarendon Press (2006)","DOI":"10.1093\/acprof:oso\/9780198568612.001.0001"},{"key":"12_CR2","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BFb0083084","volume":"80","author":"J. Beck","year":"1969","unstructured":"Beck, J.: Distributive laws. Lecture Notes in Mathematics\u00a080, 119\u2013140 (1969)","journal-title":"Lecture Notes in Mathematics"},{"key":"12_CR3","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1145\/1297027.1297063","volume-title":"OOPSLA 2007: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications","author":"G.M. Bierman","year":"2007","unstructured":"Bierman, G.M., Meijer, E., Torgersen, M.: Lost in translation: formalizing proposed extensions to C#. In: OOPSLA 2007: Proceedings of the 22nd annual ACM SIGPLAN conference on Object oriented programming systems and applications, pp. 479\u2013498. ACM Press, New York (2007)"},{"key":"12_CR4","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1145\/1028976.1028980","volume-title":"OOPSLA 2004: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"A. Birka","year":"2004","unstructured":"Birka, A., Ernst, M.D.: A practical type system and language for reference immutability. In: OOPSLA 2004: Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 35\u201349. ACM Press, New York (2004)"},{"key":"12_CR5","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1145\/154630.154643","volume-title":"PEPM 1993: Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation","author":"W.-N. Chin","year":"1993","unstructured":"Chin, W.-N.: Towards an automated tupling strategy. In: PEPM 1993: Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation, pp. 119\u2013132. ACM Press, New York (1993)"},{"key":"12_CR6","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1145\/286936.286947","volume-title":"OOPSLA 1998: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications","author":"D.G. Clarke","year":"1998","unstructured":"Clarke, D.G., Potter, J.M., Noble, J.: Ownership types for flexible alias protection. In: OOPSLA 1998: Proceedings of the 13th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pp. 48\u201364. ACM Press, New York (1998)"},{"key":"12_CR7","first-page":"193","volume-title":"LICS 1999: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science","author":"M. Fiore","year":"1999","unstructured":"Fiore, M., Plotkin, G., Turi, D.: Abstract Syntax and Variable Binding. In: LICS 1999: Proceedings of the 14th Annual IEEE Symposium on Logic in Computer Science, pp. 193\u2013202. IEEE Press, Los Alamitos (1999)"},{"key":"12_CR8","unstructured":"Fisher, K., Reppy, J.: Object-oriented aspects of Moby. Technical report, University of Chicago Computer Science Department Technical Report (TR-2003-10) (July 2003)"},{"issue":"4","key":"12_CR9","first-page":"81","volume":"1","author":"M.M. Fokkinga","year":"1990","unstructured":"Fokkinga, M.M.: Tupling and Mutumorphisms. Appeared in: The Squigollist\u00a01(4), 81\u201382 (1990)","journal-title":"Appeared in: The Squigollist"},{"key":"12_CR10","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E. Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley, Reading (1994)"},{"key":"12_CR11","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1145\/232627.232637","volume-title":"ICFP 1996: Proceedings of the first ACM SIGPLAN international conference on Functional programming","author":"Z. Hu","year":"1996","unstructured":"Hu, Z., Iwasaki, H., Takeichi, M.: Deriving structural hylomorphisms from recursive definitions. In: ICFP 1996: Proceedings of the first ACM SIGPLAN international conference on Functional programming, pp. 73\u201382. ACM Press, New York (1996)"},{"key":"12_CR12","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1145\/258948.258964","volume-title":"ICFP 1997: Proceedings of the second ACM SIGPLAN international conference on Functional programming","author":"Z. Hu","year":"1997","unstructured":"Hu, Z., Iwasaki, H., Takeichi, M., Takano, A.: Tupling calculation eliminates multiple data traversals. In: ICFP 1997: Proceedings of the second ACM SIGPLAN international conference on Functional programming, pp. 164\u2013175. ACM Press, New York (1997)"},{"issue":"4","key":"12_CR13","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1016\/j.ic.2005.03.006","volume":"204","author":"B. Jacobs","year":"2006","unstructured":"Jacobs, B.: Distributive laws for the coinductive solution of recursive equations. Information and Computation\u00a0204(4), 561\u2013587 (2006)","journal-title":"Information and Computation"},{"key":"12_CR14","doi-asserted-by":"crossref","first-page":"83","DOI":"10.1007\/978-1-4613-1437-0_5","volume-title":"Object-Orientation with Parallelism and Persistence","author":"B.P.F. Jacobs","year":"1996","unstructured":"Jacobs, B.P.F.: Objects and classes, coalgebraically. In: Freitag, B., Jones, C.B., Lengauer, C., Schek, H.J. (eds.) Object-Orientation with Parallelism and Persistence, pp. 83\u2013103. Kluwer Academic Publishers, Dordrecht (1996)"},{"key":"12_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/11783596_15","volume-title":"Mathematics of Program Construction","author":"J. Kabanov","year":"2006","unstructured":"Kabanov, J., Vene, V.: Recursion Schemes for Dynamic Programming. In: Uustalu, T. (ed.) MPC 2006. LNCS, vol.\u00a04014, pp. 235\u2013252. Springer, Heidelberg (2006)"},{"key":"12_CR16","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1016\/j.jlap.2004.03.005","volume":"60-61","author":"B. Klin","year":"2004","unstructured":"Klin, B.: Adding recursive constructs to bialgebraic semantics. Journal of Logic and Algebraic Programming\u00a060-61, 259\u2013286 (2004)","journal-title":"Journal of Logic and Algebraic Programming"},{"key":"12_CR17","doi-asserted-by":"publisher","first-page":"314","DOI":"10.1145\/224164.224223","volume-title":"FPCA 1995: Proceedings of the seventh international conference on Functional programming languages and computer architecture","author":"J. Launchbury","year":"1995","unstructured":"Launchbury, J., Sheard, T.: Warm fusion: deriving build-catas from recursive definitions. In: FPCA 1995: Proceedings of the seventh international conference on Functional programming languages and computer architecture, pp. 314\u2013323. ACM Press, New York (1995)"},{"issue":"5","key":"12_CR18","doi-asserted-by":"publisher","first-page":"413","DOI":"10.1007\/BF01211391","volume":"4","author":"L.G.L.T. Meertens","year":"1992","unstructured":"Meertens, L.G.L.T.: Paramorphisms. Formal Aspects of Computing\u00a04(5), 413\u2013424 (1992)","journal-title":"Formal Aspects of Computing"},{"key":"12_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"124","DOI":"10.1007\/3540543961_7","volume-title":"Functional Programming Languages and Computer Architecture","author":"E. Meijer","year":"1991","unstructured":"Meijer, E., Fokkinga, M.M., Paterson, R.: Functional Programming with Bananas, Lenses, Envelopes and Barbed Wire. In: Hughes, J. (ed.) FPCA 1991. LNCS, vol.\u00a0523, pp. 124\u2013144. Springer, Heidelberg (1991)"},{"key":"12_CR20","unstructured":"Odersky, M.: The Scala Language Specification, Version 2.6, DRAFT, Programming Methods Laboratory, EPFL, Switzerland (December 19, 2007)"},{"issue":"2","key":"12_CR21","doi-asserted-by":"crossref","first-page":"207","DOI":"10.1017\/S0956796800001040","volume":"4","author":"B.C. Pierce","year":"1994","unstructured":"Pierce, B.C., Turner, D.N.: Simple type-theoretic foundations for object-oriented programming. Journal of Functional Programming\u00a04(2), 207\u2013247 (1994)","journal-title":"Journal of Functional Programming"},{"issue":"2","key":"12_CR22","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1017\/S0960129500000694","volume":"5","author":"H. Reichel","year":"1995","unstructured":"Reichel, H.: An approach to object semantics based on terminal co-algebras. Mathematical Structures in Computer Science\u00a05(2), 129\u2013152 (1995)","journal-title":"Mathematical Structures in Computer Science"},{"key":"12_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"321","DOI":"10.1007\/3-540-57887-0_102","volume-title":"Theoretical Aspects of Computer Software","author":"D. R\u00e9my","year":"1994","unstructured":"R\u00e9my, D.: Programming Objects with ML-ART: An extension to ML with Abstract and Record Types. In: Hagiya, M., Mitchell, J.C. (eds.) TACS 1994. LNCS, vol.\u00a0789, pp. 321\u2013346. Springer, Heidelberg (1994)"},{"key":"12_CR24","unstructured":"Turi, D.: Functorial Operational Semantics and its Denotational Dual. PhD thesis, Free University, Amsterdam (June 1996)"},{"key":"12_CR25","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1109\/LICS.1997.614955","volume-title":"Proceedings 12th Annual IEEE Symposium on Logic in Computer Science, LICS 1997","author":"D. Turi","year":"1997","unstructured":"Turi, D., Plotkin, G.D.: Towards a mathematical operational semantics. In: Proceedings 12th Annual IEEE Symposium on Logic in Computer Science, LICS 1997, Warsaw, Poland, 29 June \u2013 2 July 1997, pp. 280\u2013291. IEEE Press, Los Alamitos (1997)"},{"issue":"3","key":"12_CR26","first-page":"366","volume":"8","author":"T. Uustalu","year":"2001","unstructured":"Uustalu, T., Vene, V., Pardo, A.: Recursion schemes from comonads. Nordic Journal of Computing\u00a08(3), 366\u2013390 (2001)","journal-title":"Nordic Journal of Computing"},{"issue":"3","key":"12_CR27","first-page":"147","volume":"47","author":"V. Vene","year":"1998","unstructured":"Vene, V., Uustalu, T.: Functional programming with apomorphisms (corecursion). Proceedings of the Estonian Academy of Sciences: Physics, Mathematics\u00a047(3), 147\u2013161 (1998)","journal-title":"Proceedings of the Estonian Academy of Sciences: Physics, Mathematics"},{"key":"12_CR28","unstructured":"Wadler, P.: The expression problem. Message to java-genericity electronic mailing list (November 1998), \n                  \n                    http:\/\/www.daimi.au.dk\/~madst\/tool\/papers\/expression.txt"}],"container-title":["Lecture Notes in Computer Science","Mathematics of Program Construction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-70594-9_12.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:24:00Z","timestamp":1620015840000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-70594-9_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540705932","9783540705949"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-70594-9_12","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}