{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T17:30:17Z","timestamp":1725643817226},"publisher-location":"London","reference-count":8,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540198208"},{"type":"electronic","value":"9781447132158"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/978-1-4471-3215-8_23","type":"book-chapter","created":{"date-parts":[[2011,12,17]],"date-time":"2011-12-17T10:34:20Z","timestamp":1324118060000},"page":"258-268","source":"Crossref","is-referenced-by-count":3,"title":["Formulating Haskell"],"prefix":"10.1007","author":[{"given":"Simon","family":"Thompson","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"Paul Hudak and Joseph H. Fasel. A gentle introduction to Haskell. ACM SIGPLAN Notices, 27 (5), 1992.","DOI":"10.1145\/130697.130698"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"Paul Hudak, Simon Peyton Jones, and Philip Wadler (Editors). Report on the Programming Language Haskell, version 1.2. ACM SIGPLAN Notices, 27 (5), 1992.","DOI":"10.1145\/130697.130699"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Lawrence C. Paulson. Logic and Computation \u2014 Interactive proof with Cambridge LCF. Cambridge University Press, 1987.","DOI":"10.1017\/CBO9780511526602"},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"Simon L. Peyton Jones and Philip Wadler. Imperative functional programming. In Twentieth Annual Symposium on Principles of Programming Languages (POPL). ACM, 1993.","DOI":"10.1145\/158511.158524"},{"key":"23_CR5","unstructured":"Andrew M. Pitts. A co-induction principle for recursively defined domains. Preprint - Computer Laboratory, University of Cambridge, 1992."},{"key":"23_CR6","doi-asserted-by":"crossref","unstructured":"Simon J. Thompson. A logic for Miranda. Formal Aspects of Computing, 1, 1989.","DOI":"10.1007\/BF01887213"},{"key":"23_CR7","unstructured":"Simon J. Thompson. Interactive functional programs: a method and a formal semantics. In David A. Turner, editor, Research Topics in Functional Programming. Addison Wesley, 1990."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"Philip Wadler. The essence of functional programming. In Nineteenth Annual Symposium on Principles of Programming Languages (POPL). ACM, 1992.","DOI":"10.1145\/143165.143169"}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1992"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3215-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,21]],"date-time":"2019-06-21T01:46:00Z","timestamp":1561081560000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3215-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198208","9781447132158"],"references-count":8,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3215-8_23","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}