{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T12:35:25Z","timestamp":1725712525952},"publisher-location":"London","reference-count":11,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9783540196679"},{"type":"electronic","value":"9781447138105"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/978-1-4471-3810-5_11","type":"book-chapter","created":{"date-parts":[[2013,1,10]],"date-time":"2013-01-10T16:31:29Z","timestamp":1357835489000},"page":"126-140","source":"Crossref","is-referenced-by-count":1,"title":["Functional Programming with Relations"],"prefix":"10.1007","author":[{"given":"Graham","family":"Hutton","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"11_CR1","volume-title":"August","author":"J Backus","year":"1978","unstructured":"John Backus. Can programming be liberated from the von Neumann style? A functional style and its algebra of programs. CACM vol. 9, August. 1978."},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Richard Bird. Lectures on constructive functional programming. Oxford University, 1988. (PRG-69)","DOI":"10.1007\/978-3-642-74884-4_5"},{"key":"11_CR3","unstructured":"Michael Barr and Charles Wells. Category Theory for Computing Science. Prentice Hall, 1990."},{"key":"11_CR4","unstructured":"deMoor90] Oege de Moor. Categories, Relations and Dynamic Programming. Programming Research Group, Oxford University 1990. (PRG-TR18\u201390)"},{"key":"11_CR5","volume-title":"Relations and refinement in circuit design. Proc. BCS FACS workshop on refinement","author":"G Jones","year":"1990","unstructured":"Geraint Jones and Mary. Sheeran. Relations and refinement in circuit design. Proc. BCS FACS workshop on refinement (ed. Carroll Morgan ), Hursley, January 1990."},{"key":"11_CR6","volume-title":"Circuit design in Ruby. Formal Methods for VLSI Design (ed","author":"M Sheeran","year":"1990","unstructured":"Mary Sheeran and Geraint Jones. Circuit design in Ruby. Formal Methods for VLSI Design (ed. Staunstrup ), Elsevier Science Publications (Amsterdam ), 1990."},{"key":"11_CR7","volume-title":"Formal Ruby. Formal Methods for VLSI Design (ed","author":"L Rossen","year":"1990","unstructured":"Lars Rossen. Formal Ruby. Formal Methods for VLSI Design (ed. Staunstrup ), Elsevier Science Publications (Amsterdam ), 1990."},{"key":"11_CR8","volume-title":"Functional geometry and integrated circuit layout","author":"M Sheeran","year":"1981","unstructured":"Mary Sheeran. Functional geometry and integrated circuit layout. M.Sc. dissertation, University of Oxford, 1981."},{"key":"11_CR9","unstructured":"Mary Sheeran. tiFP - an algebraic VLSI design language. D.Phil. thesis, Oxford University, 1983. (PRG-39)"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Mary Sheeran. Categories for the working hardware designer. Hardware specification, verification and synthesis: Mathematical aspects (ed. Leeser et al), Springer LNCS, 1989.","DOI":"10.1007\/0-387-97226-9_38"},{"key":"11_CR11","doi-asserted-by":"crossref","unstructured":"Phil Wadler. Theorems for Free! Proc. Conference on Functional Programming and Computer Architecture, London, Springer 1989.","DOI":"10.1145\/99370.99404"}],"container-title":["Workshops in Computing","Functional Programming, Glasgow 1990"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4471-3810-5_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,10]],"date-time":"2019-05-10T11:54:40Z","timestamp":1557489280000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4471-3810-5_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540196679","9781447138105"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-1-4471-3810-5_11","relation":{},"ISSN":["1431-1682"],"issn-type":[{"type":"print","value":"1431-1682"}],"subject":[],"published":{"date-parts":[[1991]]}}}