{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:19Z","timestamp":1725663559208},"publisher-location":"Berlin, Heidelberg","reference-count":9,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572640"},{"type":"electronic","value":"9783540480273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57264-3_42","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T12:33:25Z","timestamp":1330259605000},"page":"206-217","source":"Crossref","is-referenced-by-count":8,"title":["Strictness properties of lazy algebraic datatypes"],"prefix":"10.1007","author":[{"given":"P. N.","family":"Benton","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"18_CR1","unstructured":"P. N. Benton. Strictness Analysis of Lazy Functional Programs. PhD thesis, Computer Laboratory, University of Cambridge, December 1992."},{"key":"18_CR2","doi-asserted-by":"crossref","unstructured":"P. N. Benton. Strictness logic and polymorphic invariance. In A. Nerode and M. Taitslin, editors, Proceedings of the Second International Symposium on Logical Foundations of Computer Science, Tver, Russia, volume 620 of Lecture Notes in Computer Science, pages 33\u201344. Springer-Verlag, July 1992.","DOI":"10.1007\/BFb0023861"},{"key":"18_CR3","volume-title":"Research Monographs in Parallel and Distributed Computing","author":"G. L. Burn","year":"1991","unstructured":"G. L. Burn. Lazy Functional Languages: Abstract Interpretation and Compilation. Research Monographs in Parallel and Distributed Computing. MIT Press, Cambridge, Mass., 1991."},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"249","DOI":"10.1016\/0167-6423(86)90010-9","volume":"7","author":"G. L. Burn","year":"1986","unstructured":"G. L. Burn, C. L. Hankin, and S. Abramsky. The theory and practice of strictness analysis for higher-order functions. Science of Computer Programming, 7:249\u2013278, 1986.","journal-title":"Science of Computer Programming"},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"C. Ernoult and A. Mycroft. Uniform ideals and strictness analysis. In Proceedings of ICALP 91. Springer-Verlag, 1991.","DOI":"10.1007\/3-540-54233-7_124"},{"key":"18_CR6","doi-asserted-by":"crossref","unstructured":"T. P. Jensen. Strictness analysis in logical form. In Proceedings of the 1991 Conference on Functional Programming Languages and Computer Architecture, 1991.","DOI":"10.1007\/3540543961_17"},{"key":"18_CR7","doi-asserted-by":"crossref","unstructured":"D. Lehmann and M. Smyth. Algebraic specification of data types: A synthetic approach. Math. Systems Theory, 14, 1981.","DOI":"10.1007\/BF01752392"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"M. B. Smyth and G. D. Plotkin. The category-theoretic solution of recursive domain equations. SIAM Journal of Computing, 11, 1982.","DOI":"10.1137\/0211062"},{"key":"18_CR9","unstructured":"P. Wadler. Strictness analysis on non-flat domains (by abstract interpretation over finite domains). In S. Abramsky and C. L. Hankin, editors, Abstract Interpretation of Declarative Languages, chapter 12, pages 266\u2013275. Ellis Horwood Ltd., 1987."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57264-3_42.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:02:17Z","timestamp":1619571737000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57264-3_42"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572640","9783540480273"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/3-540-57264-3_42","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}