{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:29:57Z","timestamp":1725467397873},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540634553"},{"type":"electronic","value":"9783540695523"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0026992","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T11:12:36Z","timestamp":1132398756000},"page":"242-260","source":"Crossref","is-referenced-by-count":11,"title":["When Do Datatypes Commute?"],"prefix":"10.1007","author":[{"given":"Paul","family":"Hoogendijk","sequence":"first","affiliation":[]},{"given":"Roland","family":"Backhouse","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,20]]},"reference":[{"key":"15_CR1","unstructured":"R. Backhouse, H. Doornbos, and P. Hoogendijk. Commuting relators. Available via World-Wide Web at http:\/\/www.win.tue.nl\/cs\/wp\/papers, September 1992."},{"key":"15_CR2","doi-asserted-by":"crossref","unstructured":"R. Bird. Lectures on constructive functional programming. In M. Broy, editor, Constructive Methods in Computing Science, pages 151\u2013216. Springer-Verlag, 1989. NATO ASI Series, vol. F55.","DOI":"10.1007\/978-3-642-74884-4_5"},{"issue":"1","key":"15_CR3","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1017\/S0956796800001556","volume":"6","author":"R. Bird","year":"1996","unstructured":"R. Bird, O. de Moor, and P. Hoogendijk. Generic functional programming with types and relations. J. of Functional Programming, 6(1):1\u201328, January 1996.","journal-title":"J. of Functional Programming"},{"key":"15_CR4","doi-asserted-by":"crossref","unstructured":"R. S. Bird and O. de Moor. Algebra of Programming. Prentice-Hall International, 1996.","DOI":"10.1007\/978-3-642-61455-2_12"},{"issue":"1-3","key":"15_CR5","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1016\/0167-6423(95)00027-5","volume":"26","author":"H. Doornbos","year":"1996","unstructured":"H. Doornbos and R. Backhouse. Reductivity. Science of Computer Programming, 26(1-3):217\u2013236, 1996.","journal-title":"Science of Computer Programming"},{"key":"15_CR6","unstructured":"P. Freyd and A. Scedrov. Categories, Allegories. North-Holland, 1990."},{"key":"15_CR7","unstructured":"P. Hoogendijk. A Generic Theory of Datatypes. PhD thesis, Department of Mathematics and Computing Science, Eindhoven University of Technology, 1997."},{"key":"15_CR8","unstructured":"P. Hoogendijk and O. de Moor. What is a datatype? Technical Report 96\/16, Department of Mathematics and Computing Science, Eindhoven University of Technology, 1996. Submitted to Science of Computer Programming. Available via World-Wide Web at http:\/\/www.win.tue.nl\/cs\/wp\/papers."},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"J. Jeuring. Polytypic pattern matching. In Conference Record of FPCA '95, SIGPLAN-SIGARCH-WG2.8 Conference on Functional Programming Languages and Computer Architecture, pages 238\u2013248, 1995.","DOI":"10.1145\/224164.224212"},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"J. Jeuring and P. Janssen. Polytypic programming. In J. Launchbury, E. Meijer, and T. Sheard, editors, Proceedings of the Second International Summer School on Advanced Functional Programming Techniques, pages 68\u2013114. Springer-Verlag, 1996. LNCS 1129.","DOI":"10.1007\/3-540-61628-4_3"},{"key":"15_CR11","first-page":"227","volume":"59","author":"A. Jung","year":"1996","unstructured":"A. Jung (Editor). Domains and denotational semantics: History, accomplishments and open problems. Bulletin of the European Association for Computer Science, 59:227\u2013256, June 1996.","journal-title":"Bulletin of the European Association for Computer Science"},{"key":"15_CR12","doi-asserted-by":"crossref","unstructured":"G. Malcolm. Homomorphisms and promotability. In J. van de Snepscheut, editor, Conference on the Mathematics of Program Construction, pages 335\u2013347. Springer-Verlag LNCS 375, 1989.","DOI":"10.1007\/3-540-51305-1_20"},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"L. Meertens. Calculate polytypically! In H. Kuchen and S. D. Swierstra, editors, Proceedings of the Eighth International Symposium PLILP '96 Programming Languages: Implementations, Logics and Programs, volume 1140 of Lecture Notes in Computer Science, pages 1\u201316. Springer Verlag, 1996.","DOI":"10.1007\/3-540-61756-6_73"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"E. Meijer, M. Fokkinga, and R. Paterson. Functional programming with bananas, lenses, envelopes and barbed wire. In FPCA91: Functional Programming Languages and Computer Architecture, volume 523 of LNCS, pages 124\u2013144. Springer-Verlag, 1991.","DOI":"10.1007\/3540543961_7"},{"key":"15_CR15","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1977","unstructured":"R. Milner. A theory of type polymorphism in programming. J. Comp. Syst. Scs., 17:348\u2013375, 1977.","journal-title":"J. Comp. Syst. Scs."},{"issue":"1","key":"15_CR16","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0890-5401(91)90052-4","volume":"93","author":"E. Moggi","year":"1991","unstructured":"E. Moggi. Notions of computation and monads. Information and Computation, 93(1):55\u201392, 1991.","journal-title":"Information and Computation"},{"key":"15_CR17","volume-title":"To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism","author":"G. D. Plotkin","year":"1980","unstructured":"G. D. Plotkin. Lambda-definability in the full type hierarchy. In J. Seldin and J. Hindley, editors, To H.B. Curry: Essays on Combinatory Logic, Lambda Calculus and Formalism. Academic Press, London, 1980."},{"key":"15_CR18","unstructured":"J. Reynolds. Types, abstraction and parametric polymorphism. In R. Mason, editor, IFIP '83, pages 513\u2013523. Elsevier Science Publishers, 1983. *** DIRECT SUPPORT *** A0008C33 00006"}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0026992","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,19]],"date-time":"2019-01-19T03:34:57Z","timestamp":1547868897000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0026992"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540634553","9783540695523"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/bfb0026992","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}