{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,12,30]],"date-time":"2022-12-30T19:49:28Z","timestamp":1672429768374},"reference-count":7,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,3,1]],"date-time":"2009-03-01T00:00:00Z","timestamp":1235865600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Higher-Order Symb Comput"],"published-print":{"date-parts":[[2009,3]]},"DOI":"10.1007\/s10990-009-9043-y","type":"journal-article","created":{"date-parts":[[2009,12,18]],"date-time":"2009-12-18T12:41:35Z","timestamp":1261140095000},"page":"67-80","source":"Crossref","is-referenced-by-count":1,"title":["Expressible sharing for functional circuit description"],"prefix":"10.1007","volume":"22","author":[{"given":"Matthew","family":"Naylor","sequence":"first","affiliation":[]},{"given":"Colin","family":"Runciman","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,12,19]]},"reference":[{"key":"9043_CR1","unstructured":"Claessen, K.: Embedded languages for describing and verifying hardware. PhD Thesis, Chalmers University of Technology (2001)"},{"key":"9043_CR2","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"62","DOI":"10.1007\/3-540-46674-6_7","volume-title":"Advances in Computing Science ASIAN\u201999; 5th Asian Computing Science Conference","author":"K. Claessen","year":"1999","unstructured":"Claessen, K., Sands, D.: Observable sharing for functional circuit description. In: Advances in Computing Science ASIAN\u201999; 5th Asian Computing Science Conference. LNCS, vol. 1742, pp. 62\u201373. Springer, Berlin (1999)"},{"key":"9043_CR3","series-title":"Sorting and Searching","volume-title":"The Art of Computer Programming","author":"D.E. Knuth","year":"1973","unstructured":"Knuth, D.E.: The Art of Computer Programming. Sorting and Searching, vol.\u00a03. Addison-Wesley, Reading (1973)"},{"key":"9043_CR4","first-page":"178","volume-title":"Functional Programming, Glasgow 1992, Workshops in Computing","author":"J. O\u2019Donnell","year":"1992","unstructured":"O\u2019Donnell, J.: Generating netlists from executable circuit specifications in a pure functional language. In: Functional Programming, Glasgow 1992, Workshops in Computing, pp. 178\u2013194. Springer, Berlin (1992)"},{"key":"9043_CR5","doi-asserted-by":"crossref","unstructured":"O\u2019Donnell, J.: Embedding a hardware description language in Template Haskell. In: Domain-Specific Program Generation, pp.\u00a0143\u2013164 (2003)","DOI":"10.1007\/978-3-540-25935-0_9"},{"issue":"7","key":"9043_CR6","first-page":"1135","volume":"11","author":"M. Sheeran","year":"2005","unstructured":"Sheeran, M.: Hardware design and functional programming: a perfect match. J. Univers. Comput. Sci. 11(7), 1135\u20131158 (2005)","journal-title":"J. Univers. Comput. Sci."},{"key":"9043_CR7","volume-title":"Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School","author":"P. Wadler","year":"1993","unstructured":"Wadler, P.: Monads for functional programming. In: Broy, M. (ed.) Program Design Calculi: Proceedings of the 1992 Marktoberdorf International Summer School. Springer, Berlin (1993)"}],"container-title":["Higher-Order and Symbolic Computation"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-009-9043-y.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10990-009-9043-y\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10990-009-9043-y","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T21:29:41Z","timestamp":1559338181000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10990-009-9043-y"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3]]},"references-count":7,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2009,3]]}},"alternative-id":["9043"],"URL":"https:\/\/doi.org\/10.1007\/s10990-009-9043-y","relation":{},"ISSN":["1388-3690","1573-0557"],"issn-type":[{"value":"1388-3690","type":"print"},{"value":"1573-0557","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,3]]}}}