{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,7,24]],"date-time":"2025-07-24T10:58:03Z","timestamp":1753354683217},"publisher-location":"London","reference-count":17,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197607"},{"type":"electronic","value":"9781447131960"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"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":[[1992]]},"DOI":"10.1007\/978-1-4471-3196-0_24","type":"book-chapter","created":{"date-parts":[[2011,12,11]],"date-time":"2011-12-11T21:48:08Z","timestamp":1323640088000},"page":"298-311","source":"Crossref","is-referenced-by-count":4,"title":["Operational Theories of Improvement in Functional Languages"],"prefix":"10.1007","author":[{"given":"David","family":"Sands","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"24_CR1","volume-title":"Research Topics in Functional Programming","author":"S Abramsky","year":"1990","unstructured":"S. Abramsky. The lazy lambda calculus. In D. Turner, editor, Research Topics in Functional Programming. Addison Wesley, 1990."},{"key":"24_CR2","first-page":"526","volume-title":"Tacs","author":"S Arun-Kumar","year":"1991","unstructured":"S. Arun-Kumar and M. Hennessy. An efficiency preorder for processes. In TACS. LNCS 526, 1991."},{"key":"24_CR3","first-page":"294","volume-title":"Stacs","author":"E Astesiano","year":"1988","unstructured":"E. Astesiano, A. Giovini, and G. Reggio. Generalized bisimulation in relational specifications. In STACS. LNCS 294, 1988."},{"key":"24_CR4","unstructured":"D. Gurr. Semantic Frameworks for Complexity. PhD thesis, Department of Computer Science, Edinburgh, 1991. (Available as reports CST-72-91 and ECS-LFCS-91-130)."},{"key":"24_CR5","volume-title":"Fourth annual symposium on Logic In Computer Science","author":"DJ Howe","year":"1989","unstructured":"D. J. Howe. Equality in lazy computation systems. In Fourth annual symposium on Logic In Computer Science. IEEE, 1989."},{"key":"24_CR6","volume-title":"Sixth annual symposium on Logic In Computer Science","author":"DJ Howe","year":"1991","unstructured":"D. J. Howe. On computational open-endedness in Martin-L\u00f6f\u2019s type theory. In Sixth annual symposium on Logic In Computer Science, 1991."},{"key":"24_CR7","volume-title":"Mathematical Centre Tracts","author":"JW Klop","year":"1980","unstructured":"J.W. Klop. Combinatory Reduction Systems, volume 127 of Mathematical Centre Tracts. Mathematischen Centrum, 413 Kruislaan, Amsterdam, 1980."},{"key":"24_CR8","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0304-3975(83)90114-7","volume":"25","author":"R Milner","year":"1983","unstructured":"R. Milner. Calculi for synchrony and asynchrony. Theoretical Computer Science, 25: 267\u2013310, 1983.","journal-title":"Theoretical Computer Science"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"R. Milner and M. Tofte. Co-induction in relational semantics. Theoretical Computer Science, 1990. (to appear).","DOI":"10.1016\/0304-3975(91)90033-X"},{"key":"24_CR10","volume-title":"Fourth annual symposium on Logic in Computer Science","author":"E Moggi","year":"1989","unstructured":"E. Moggi. Computational lamb da-calculus and monads. In Fourth annual symposium on Logic in Computer Science, 1989."},{"key":"24_CR11","unstructured":"C.-H. Luke Ong. The Lazy Lambda Calculus: An Investigation into the Foundations of Functional Programming. PhD thesis, Imperial College, University of London, 1988."},{"key":"24_CR12","volume-title":"5th GI conference on Theoretical Computer Science","author":"D Park","year":"1980","unstructured":"D. Park. Concurrency and automata on infinite sequences. In 5th GI conference on Theoretical Computer Science. LNCS 104, Springer Verlag, 1980."},{"key":"24_CR13","volume-title":"Calculi for Time Analysis of Functional Programs","author":"D Sands","year":"1990","unstructured":"D. Sands. Calculi for Time Analysis of Functional Programs. PhD thesis, Imperial College, September 1990."},{"key":"24_CR14","doi-asserted-by":"crossref","unstructured":"D. Sands. Complexity analysis for a lazy higher-order language. In Proceedings of the Third European Symposium on Programming, number 432 in LNCS. Springer-Verlag, May 1990.","DOI":"10.1007\/978-1-4471-3166-3_5"},{"key":"24_CR15","volume-title":"Proceedings of the Eleventh Conference on Foundations of Software Technology and Theoretical Computer Science","author":"D Sands","year":"1991","unstructured":"D. Sands. Time analysis, cost equivalence and program refinement. In Proceedings of the Eleventh Conference on Foundations of Software Technology and Theoretical Computer Science. Springer, December 1991."},{"key":"24_CR16","volume-title":"The Essence of Rum, A Theory of the intensional and extensional aspects of Lisp-type computation","author":"CL Talcott","year":"1985","unstructured":"C. L. Talcott. The Essence of Rum, A Theory of the intensional and extensional aspects of Lisp-type computation. PhD thesis, Stanford University, August 1985."},{"key":"24_CR17","volume-title":"Institute of Electronic Systems","author":"B Thomsen","year":"1987","unstructured":"B. Thomsen. An extended bisimulation induced by a prorder on actions. Master\u2019s thesis, Aalborg University, Institute of Electronic Systems, 1987."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1991"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3196-0_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,8]],"date-time":"2020-01-08T21:07:52Z","timestamp":1578517672000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3196-0_24"}},"subtitle":["Extended Abstract"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197607","9781447131960"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3196-0_24","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}