{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:10:07Z","timestamp":1742591407237,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540168164"},{"type":"electronic","value":"9783540448617"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1986]]},"DOI":"10.1007\/3-540-16816-8_40","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:05:45Z","timestamp":1330196745000},"page":"324-341","source":"Crossref","is-referenced-by-count":0,"title":["An FP domain with infinite objects"],"prefix":"10.1007","author":[{"given":"Teresa A.","family":"Thomas","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Donald F.","family":"Stanat","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"issue":"8","key":"19_CR1","doi-asserted-by":"crossref","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. Communications of the ACM, 21, No. 8, Aug 1978, pp. 613\u2013641.","journal-title":"Communications of the ACM"},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"Broy, M. A fixed point approach to applicative multiprogramming, in Theoretical Foundations of Programming Methodology. D. Reidel, 1982. pp. 565\u2013622. Ed. by M. Broy & G. Schmidt.","DOI":"10.1007\/978-94-009-7893-5_16"},{"key":"19_CR3","volume-title":"Recursive programming techniques","author":"W.H. Burge","year":"1975","unstructured":"Burge, W.H. Recursive programming techniques. Reading, Mass: Addison-Wesley, 1975."},{"key":"19_CR4","doi-asserted-by":"crossref","unstructured":"Dosch, W. & Moller, B. Busy and lazy FP with infinite objects. In Conference Record of the 1984 ACM Symposium on LISP and Functional Programming, 1984. pp. 282\u2013292.","DOI":"10.1145\/800055.802045"},{"key":"19_CR5","doi-asserted-by":"crossref","unstructured":"Feldman, G. Functional Specifications of a Text Editor. In Conference Record of the 1982 ACM Symposium on LISP and Functional Programming, 1982. pp. 37\u201346.","DOI":"10.1145\/800068.802133"},{"key":"19_CR6","doi-asserted-by":"crossref","unstructured":"Halpern, J., J. Williams, E. Wimmers & T. Winkler. In Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, 1985. pp. 108\u2013120.","DOI":"10.1145\/318593.318623"},{"key":"19_CR7","unstructured":"Henderson, P. Purely Functional Operating Systems in Functional Programming and its Applications. Cambridge University Press, 1982. pp. 177\u2013192."},{"key":"19_CR8","unstructured":"Ida, T. & Tanaka, J. Functional programming with streams, in Information Processing. North-Holland, 1983. pp. 265\u2013270."},{"key":"19_CR9","volume-title":"Basic Algebra I","author":"N. Jacobson","year":"1974","unstructured":"Jacobson, N. Basic Algebra I. San Francisco: W.H.Freeman & Co., 1974."},{"key":"19_CR10","first-page":"471","volume":"74","author":"G. Kahn","year":"1974","unstructured":"Kahn, G. The semantics of a simple language for parallel programming. In Proceedings, IFIP Congress 74, 1974 pp. 471\u2013475.","journal-title":"Proceedings, IFIP Congress"},{"key":"19_CR11","unstructured":"Kahn, G. & Macqueen, D.B. Coroutines and networks of parallel processes. In Proceedings, IFIP Congress 77, North-Holland, Jan 1977."},{"key":"19_CR12","unstructured":"Keller, R.M. Semantics of parallel program graphs. Technical Report UUCS-77-110, University of Utah, July 22, 1977."},{"key":"19_CR13","unstructured":"Keller, R.M. Denotational models for parallel programs with indeterminate operators, in Formal Description of Programming Concepts. North-Holland, 1978. pp. 337\u2013366."},{"key":"19_CR14","unstructured":"Nakata, I. & Sassa, M. Programming with streams. Technical Report RJ3751(43317). IBM. Jan 1983."},{"key":"19_CR15","doi-asserted-by":"crossref","unstructured":"Scott, D.S. Lectures on a mathematical theory of computation, in Theoretical Foundations of Programming Methodology. D. Reidel, 1982. pp. 146\u2013292. Ed. by M. Broy & G. Schmidt.","DOI":"10.1007\/978-94-009-7893-5_9"},{"key":"19_CR16","unstructured":"Stoy, J.E. Some Mathematical Aspects of Functional Programming, in Functional Programming and its Applications. Cambridge University Press, 1982. pp. 217\u2013252."},{"key":"19_CR17","unstructured":"Tanaka, J. & Ida, T. Stream extension for fp-like language. 1981. (Unpublished paper.)"},{"key":"19_CR18","unstructured":"Thomas, T.A. An fp domain with infinite objects. Technical Report TR 83-009. University of North Carolina at Chapel Hill. 1983."},{"key":"19_CR19","doi-asserted-by":"crossref","unstructured":"Turner, D.A. Recursion Equations as a Programming Language, in Functional Programming and its Applications. Cambridge University Press, 1982. pp. 1\u201328.","DOI":"10.1007\/978-3-319-30936-1_24"},{"key":"19_CR20","doi-asserted-by":"crossref","unstructured":"Wadler, P. Applicative style of programming, program transformation and list operators. In ACM-MIT Proceedings of the 1981 Conference on Functional Programming Languages and Computer Architecture., Oct 1981. pp. 25\u201332.","DOI":"10.1145\/800223.806759"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Programming Semantics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-16816-8_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:31:37Z","timestamp":1742589097000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-16816-8_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1986]]},"ISBN":["9783540168164","9783540448617"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-16816-8_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1986]]}}}