{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T14:58:37Z","timestamp":1725548317592},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638889"},{"type":"electronic","value":"9783540696612"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0000493","type":"book-chapter","created":{"date-parts":[[2005,10,5]],"date-time":"2005-10-05T10:30:36Z","timestamp":1128508236000},"page":"509-523","source":"Crossref","is-referenced-by-count":14,"title":["Ensuring streams flow"],"prefix":"10.1007","author":[{"given":"Alastair","family":"Telford","sequence":"first","affiliation":[]},{"given":"David","family":"Turner","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,9,7]]},"reference":[{"key":"35_CR1","unstructured":"The Coq project. World Wide Web page by INRIA and CNRS, Prance, 1996. URL:http:\/\/pauillac.inria.fr\/\u223ccoq\/coq-eng.html."},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"T. Coquand. Infinite objects in type theory. In H. Barendregt and T. Nipkow, editors, Types for Proofs and Programs (TYPES '93), volume 806 of Lecture Notes in Computer Science, pages 62\u201378. Springer-Verlag, 1993.","DOI":"10.1007\/3-540-58085-9_72"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"P. Cousot and R. Cousot. Inductive definitions, semantics and abstract interpretation. In Proceedings of the 19th ACM Symposium on Principles of Programming Languages, pages 83\u201394. ACM press, 1992.","DOI":"10.1145\/143165.143184"},{"key":"35_CR4","unstructured":"E.W. Dijkstra. A Discipline of Programming. Prentice Hall, 1976."},{"key":"35_CR5","doi-asserted-by":"crossref","unstructured":"E. Gim\u00e9nez. Codifying guarded definitions with recursive schemes. In P. Dybjer, B. Nordstr\u00f6m, and J. Smith, editors, Types for Proofs and Programs (TYPES '94), volume 996 of Lecture Notes in Computer Science, pages 39\u201359. Springer-Verlag, 1995. International workshop, TYPES '94 held in June 1994.","DOI":"10.1007\/3-540-60579-7_3"},{"key":"35_CR6","first-page":"29","volume":"146","author":"J.R. Hindley","year":"1969","unstructured":"J.R. Hindley. The principal type scheme of an object in combinatory logic. Transactions of the American Mathematical Society, 146:29\u201360, 1969.","journal-title":"Transactions of the American Mathematical Society"},{"key":"35_CR7","first-page":"187","volume-title":"Partial Evaluation and Mixed Computation","author":"R.J.M. Hughes","year":"1988","unstructured":"R.J.M. Hughes. Backwards analysis of functional programs. In D. Bj\u00d8rner, A.P. Ershov, and N.D. Jones, editors, Partial Evaluation and Mixed Computation, pages 187\u2013208. Elsevier Science Publishers B.V. (North-Holland), 1988."},{"key":"35_CR8","unstructured":"R.J.M. Hughes. Compile-time analysis of functional programs. In Turner [23], pages 117\u2013155."},{"key":"35_CR9","doi-asserted-by":"crossref","unstructured":"R.J.M. Hughes. Why functional programming matters. In Turner [23], pages 17\u201342.","DOI":"10.1093\/comjnl\/32.2.98"},{"issue":"4","key":"35_CR10","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/0020-0190(92)90179-Y","volume":"41","author":"S. Kamin","year":"1992","unstructured":"S. Kamin. Head-strictness is not a monotonic abstract property. Information Processing Letters, 41(4):195\u2013198, 1992.","journal-title":"Information Processing Letters"},{"key":"35_CR11","doi-asserted-by":"crossref","unstructured":"P. Martin-L\u00f6f. An intuitionistic theory of types: predicative part. In H.E. Rose and J.C. Shepherdson, editors, Proceedings of the Logic Colloquium, Bristol, July 1973. North Holland, 1975.","DOI":"10.1016\/S0049-237X(08)71945-1"},{"key":"35_CR12","doi-asserted-by":"crossref","unstructured":"D. McAllester and K. Arkoudas. Walther recursion. In M.A. Robbie and J.K. Slaney, editors, 13th Conference on Automated Deduction (CADE 13), volume 1104 of Lecture Notes in Computer Science, pages 643\u2013657. Springer-Verlag, 1996.","DOI":"10.1007\/3-540-61511-3_119"},{"key":"35_CR13","volume-title":"Technical Report TR 86-743","author":"P.F. Mendler","year":"1987","unstructured":"P.F. Mendler, P. Panangaden, and R.L. Constable. Infinite objects in type theory. Technical Report TR 86-743, Department of Computer Science, Cornell University, Ithaca, NY 14853, 1987."},{"issue":"3","key":"35_CR14","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"A.J.R.G. Milner","year":"1978","unstructured":"A.J.R.G. Milner. Theory of type polymorphism in programming. Journal of Computer and System Sciences, 17(3):348\u2013375, 1978.","journal-title":"Journal of Computer and System Sciences"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"A.J.R.G. Milner. A Calculus of Communicating Systems, volume 92 of Lecture Notes in Computer Science. Springer-Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"L.C. Paulson. ML for the Working Programmer. Cambridge University Press, second edition, July 1996.","DOI":"10.1017\/CBO9780511811326"},{"key":"35_CR17","unstructured":"J.J.M.M. Rutten. Universal coalgebra: a theory of systems. Technical Report CS-R9652, CWI, Netherlands, CWI, PO Box 94079, 1090 GB Amsterdam, The Netherlands, 1996."},{"issue":"4","key":"35_CR18","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1145\/69558.69563","volume":"11","author":"B.A. Sijtsma","year":"1989","unstructured":"B.A. Sijtsma. On the productivity of recursive list definitions. ACM Transactions on Programming Languages and Systems, 11(4):633\u2013649, October 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"35_CR19","volume-title":"Technical report","author":"A.J. Telford","year":"1997","unstructured":"A.J. Telford and D.A. Turner. Ensuring the productivity of infinite structures. Technical report, University of Kent at Canterbury, 1997."},{"key":"35_CR20","unstructured":"S.J. Thompson. Type Theory and Functional Programming. Addison-Wesley, 1991."},{"key":"35_CR21","unstructured":"S.J. Thompson. Haskell: The Craft of Functional Programming. Addison-Wesley, 1996."},{"key":"35_CR22","doi-asserted-by":"crossref","unstructured":"D.A. Turner. Miranda: A non-strict functional language with polymorphic types. In J.P. Jouannaud, editor, Proceedings IFIP International Conference on Functional Programming Languages and Computer Architecture, volume 201 of Lecture Notes in Computer Science. Springer-Verlag, September 1985.","DOI":"10.1007\/3-540-15975-4_26"},{"key":"35_CR23","unstructured":"D.A. Turner, editor. Research Topics in Functional Programming, University of Texas at Austin Year of Programming Series. Addison-Wesley, 1990."},{"key":"35_CR24","unstructured":"D.A. Turner. Codata. Unpublished technical note (longer article in preparation), February 1995."},{"key":"35_CR25","volume-title":"FPLE 95, volume 1022 of Lecture Notes in Computer Science","author":"D.A. Turner","year":"1995","unstructured":"D.A. Turner. Elementary strong functional programming. In P. Hartel and R. Plasmeijer, editors, FPLE 95, volume 1022 of Lecture Notes in Computer Science. Springer-Verlag, 1995. 1st International Symposium on Functional Programming Languages in Education. Nijmegen, Netherlands, December 4\u20136, 1995."}],"container-title":["Lecture Notes in Computer Science","Algebraic Methodology and Software Technology"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0000493","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T02:21:37Z","timestamp":1586485297000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0000493"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638889","9783540696612"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0000493","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}