{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:55:48Z","timestamp":1762458948190},"publisher-location":"London","reference-count":14,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540197607"},{"type":"electronic","value":"9781447131960"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/978-1-4471-3196-0_15","type":"book-chapter","created":{"date-parts":[[2011,12,11]],"date-time":"2011-12-11T21:48:08Z","timestamp":1323640088000},"page":"177-190","source":"Crossref","is-referenced-by-count":1,"title":["Making functionality more general"],"prefix":"10.1007","author":[{"given":"Graham","family":"Hutton","sequence":"first","affiliation":[]},{"given":"Ed","family":"Voermans","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","unstructured":"Graham Hutton and Ed Voermans. A calculational theory of pers as types. Appears in [14]. [To appear as technical reports from Eindhoven and Glasgow, January\u201992.]"},{"key":"15_CR2","volume-title":"Lectures on constructive functional programming","author":"R Bird","year":"1988","unstructured":"Richard Bird. Lectures on constructive functional programming. Oxford University 1988. (PRG-69)"},{"key":"15_CR3","volume-title":"Algebraic data types and program transformation","author":"G Malcolm","year":"1990","unstructured":"Grant Malcolm. Algebraic data types and program transformation. Ph.D. thesis, Groningen University, 1990."},{"key":"15_CR4","unstructured":"Roland Backhouse, Ed Voermans and Jaap van der Woude. A relational theory of datatypes. Appears in [14]."},{"key":"15_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/BFb0020908","volume-title":"On the shape of mathematical arguments. LNCS","author":"AJM Gasteren van","year":"1990","unstructured":"A.J.M. van Gasteren. On the shape of mathematical arguments. LNCS 445, Springer-Verlag, Berlin, 1990."},{"key":"15_CR6","volume-title":"Relations Binaires, Fermetures, Correspondances de Galois","author":"J Riguet","year":"1948","unstructured":"J. Riguet. Relations Binaires, Fermetures, Correspondances de Galois. Bulletin de la Soci\u00e9t\u00e9 math\u00e9matique de France. Volume 76, 1948."},{"key":"15_CR7","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1016\/0304-3975(91)90335-Y","volume":"79","author":"A Jaoua","year":"1991","unstructured":"A. Jaoua, A. Mili, N. Boudriga, and J.L. Durieux. Regularity of relations: A measure of uniformity. Theoretical Computer Science 79, 323\u2013339, 1991.","journal-title":"Theoretical Computer Science"},{"key":"15_CR8","doi-asserted-by":"crossref","unstructured":"G. Jones and M. Sheeran. Designing arithmetic circuits by calculation. Glasgow University, 1991. [In preparation]","DOI":"10.1007\/978-1-4419-8552-1"},{"key":"15_CR9","unstructured":"Maarten Fokkinga. Datatype laws without signatures. Appears in [14]."},{"key":"15_CR10","doi-asserted-by":"crossref","unstructured":"Graham Hutton. Functional programming with relations. Proc. Third Glasgow Workshop on functional programming (ed. Kehler Hoist, Hutton and Peyton Jones), Ullapool 1990, Springer Workshops in Computing.","DOI":"10.1007\/978-1-4471-3810-5_11"},{"key":"15_CR11","volume-title":"Relations + higher-order functions = hard-ware descriptions","author":"G Jones","year":"1987","unstructured":"Geraint Jones and Mary Sheeran. Relations + higher-order functions = hard-ware descriptions. Proc. IEEE Comp Euro 87: VLSI and Computers, Hamburg, May 1987."},{"key":"15_CR12","volume-title":"A simple guide to the Ruby simulator","author":"G Hutton","year":"1991","unstructured":"Graham Hutton. A simple guide to the Ruby simulator. Glasgow University, August 1991."},{"key":"15_CR13","volume-title":"Designing circuits by calculation","author":"G Jones","year":"1990","unstructured":"Geraint Jones. Designing circuits by calculation. Oxford University, April 1990. (PRG-TR-10-90)"},{"key":"15_CR14","unstructured":"Proc. EURICS Workshop on Calculational Theories of Program Structure, Ameland, The Netherlands, September 1991."}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1991"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3196-0_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,20]],"date-time":"2019-06-20T15:17:47Z","timestamp":1561043867000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3196-0_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540197607","9781447131960"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3196-0_15","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1992]]}}}