{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T09:31:06Z","timestamp":1742635866027},"publisher-location":"London","reference-count":10,"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_12","type":"book-chapter","created":{"date-parts":[[2011,12,17]],"date-time":"2011-12-17T10:34:20Z","timestamp":1324118060000},"page":"134-143","source":"Crossref","is-referenced-by-count":19,"title":["Combining Monads"],"prefix":"10.1007","author":[{"given":"David J.","family":"King","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Wadler","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"12_CR1","volume-title":"Springer Verlag","author":"M Barr","year":"1985","unstructured":"M. Barr and C. Wells, Toposes, Triples, and Theories. Springer Verlag, 1985."},{"key":"12_CR2","volume-title":"Prentice Hall","author":"M Barr","year":"1990","unstructured":"M. Barr and C. Wells, Category Theory for Computing Science. Prentice Hall, 1990."},{"key":"12_CR3","volume-title":"Logic of Programming and Calculi of Discrete Design, Springer Verlag","author":"R Bird","year":"1987","unstructured":"R. Bird, An Introduction to the Theory of Lists. In Logic of Programming and Calculi of Discrete Design, Springer Verlag, 1987."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"P. Hudak, S. Peyton Jones and P. Wadler, editors, Report on the functional programming language Haskell, Version 1.2, SIGPLAN Notices, Vol. 27, No. 5, May 1992.","DOI":"10.1145\/130697.130699"},{"key":"12_CR5","first-page":"1","volume-title":"CWI Symposium on Mathematics and Computer Science","author":"L Meertens","year":"1986","unstructured":"L. Meertens, Algorithmics - towards programming as a mathematical activity. In J. deBakker, M. Hazewinkel and L. Lenstra, editors, CWI Symposium on Mathematics and Computer Science, Vol. 1, CWI monographs, North Holland, 1986."},{"key":"12_CR6","volume-title":"IEEE Symposium on Logic in Computer Science","author":"E Moggi","year":"1989","unstructured":"E. Moggi, Computational lambda-calculus and monads. In IEEE Symposium on Logic in Computer Science, June 1989."},{"key":"12_CR7","volume-title":"Mathematics of Program Construction, LNCS 375, Springer Verlag","author":"M Spivey","year":"1989","unstructured":"M. Spivey, A Categorical Approach to the Theory of Lists. In Mathematics of Program Construction, LNCS 375, Springer Verlag, 1989."},{"key":"12_CR8","first-page":"201","volume-title":"Proceedings of Functional Programming and Computer Architecture, Springer-Verlag, LNCS","author":"P Wadler","year":"1985","unstructured":"P. Wadler, How to Replace Failure by a List of Successes. In Proceedings of Functional Programming and Computer Architecture, Springer-Verlag, LNCS 201, September 1985."},{"key":"12_CR9","volume-title":"ACM Conference of Lisp and Functional Programming","author":"P Wadler","year":"1990","unstructured":"P. Wadler, Comprehending Monads. In ACM Conference of Lisp and Functional Programming, June 1990."},{"key":"12_CR10","volume-title":"19th ACM Symposium on Principles of Programming Languages","author":"P Wadler","year":"1992","unstructured":"P. Wadler, The essence of functional programming. In 19\u2019th ACM Symposium on Principles of Programming Languages, January 1992."}],"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_12","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,22]],"date-time":"2019-04-22T06:10:47Z","timestamp":1555913447000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3215-8_12"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540198208","9781447132158"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3215-8_12","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1993]]}}}