{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:03:24Z","timestamp":1725663804049},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525929"},{"type":"electronic","value":"9783540470458"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52592-0_70","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:39:12Z","timestamp":1330205952000},"page":"291-305","source":"Crossref","is-referenced-by-count":5,"title":["Eureka definitions for free! or Disagreement points for fold\/unfold transformations"],"prefix":"10.1007","author":[{"given":"Hanne Riis","family":"Nielson","sequence":"first","affiliation":[]},{"given":"Flemming","family":"Nielson","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"18_CR1","doi-asserted-by":"crossref","unstructured":"R. Burstall and J.Darlington. A transformation system for developing recursive programs. Journal of the ACM, 1977.","DOI":"10.1145\/321992.321996"},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"M. S. Feather. A system for assisting program transformation. ACM Transactions on Programming Languages and Systems, 1982.","DOI":"10.1145\/357153.357154"},{"key":"18_CR3","unstructured":"P. Hudak and P.Wadler. Report on the Functional Programming Language Haskell. Technical Report, Glasgow University, 1988."},{"key":"18_CR4","doi-asserted-by":"crossref","unstructured":"U. J\u00f8rring and W.L.Scherlis. Compilers and staging transformations. In Proc. 13th ACM Symposium on Principles of Programming Languages, 1986.","DOI":"10.1145\/512644.512652"},{"key":"18_CR5","unstructured":"J. Launchbury. Projections for specialization. In Proc. of the IFIP TC2 Workshop on Partial Evaluation and Mixed Computation, North-Holland, 1988."},{"key":"18_CR6","unstructured":"R. Milner. The standard ML core language. In Proc. 1984 ACM Conference on Lisp and Functional Programming, 1984."},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"T. Mogensen. Separating binding times in language specifications. In Proc. of Functional Programming and Computer Architecture, 1989.","DOI":"10.1145\/99370.99372"},{"key":"18_CR8","unstructured":"F. Nielson and H. Riis Nielson. Forced transformations of OCCAM programs. Technical Report, Aarhus University, 1989."},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"H. Riis Nielson and F.Nielson. Automatic binding time analysis for a typed \u03bb-calculus. Science of Computer Programming, 1988.","DOI":"10.1145\/73560.73569"},{"key":"18_CR10","doi-asserted-by":"crossref","unstructured":"H. Riis Nielson and F. Nielson. Transformations on higher-order functions. In Proc. of Functional Programming and Computer Architecture, 1989.","DOI":"10.1145\/99370.99380"},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"W. Polak. Compiler Specification and Verification. LNCS 124, Springer, 1981.","DOI":"10.1007\/3-540-10886-6"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"J. C. Reynolds. On the relation between direct and continuation semantics. In Proceedings 2nd ICALP, Springer LNCS 14, 1974.","DOI":"10.1007\/3-540-06841-4_57"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"D. Turner. Miranda: a non-strict functional language with polymorphic types. In Functional Programming Language and Computer Architecture, Springer LNCS 201, 1985.","DOI":"10.1007\/3-540-15975-4_26"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"P. Wadler. Theorems for free! In Proc. 4th international conference on functional programming language and computer architecture, ACM Press, 1989.","DOI":"10.1145\/99370.99404"}],"container-title":["Lecture Notes in Computer Science","ESOP '90"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52592-0_70.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:55Z","timestamp":1605648295000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52592-0_70"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525929","9783540470458"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/3-540-52592-0_70","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}