{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T18:24:59Z","timestamp":1725560699516},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540221197"},{"type":"electronic","value":"9783540259350"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2004]]},"DOI":"10.1007\/978-3-540-25935-0_9","type":"book-chapter","created":{"date-parts":[[2010,7,22]],"date-time":"2010-07-22T19:46:50Z","timestamp":1279828010000},"page":"143-164","source":"Crossref","is-referenced-by-count":8,"title":["Embedding a Hardware Description Language in Template Haskell"],"prefix":"10.1007","author":[{"given":"John T.","family":"O\u2019Donnell","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"1","key":"9_CR1","first-page":"1","volume":"13","author":"S.P. Jones","year":"2003","unstructured":"Jones, S.P. (ed.): Haskell 98 language and libraries. Journal of Functional Programming\u00a013(1), 1\u2013255 (2003)","journal-title":"Journal of Functional Programming"},{"key":"9_CR2","series-title":"The ACM Distinguished Dissertation Series","volume-title":"Synthesis of Digital Designs from Recursion Equations","author":"S.D. Johnson","year":"1984","unstructured":"Johnson, S.D.: Synthesis of Digital Designs from Recursion Equations. The ACM Distinguished Dissertation Series. MIT Press, Cambridge (1984)"},{"key":"9_CR3","series-title":"IFIP WG 10.5 Lecture Notes","first-page":"13","volume-title":"Formal Methods in VLSI Design, ch. 1","author":"G. Jones","year":"1990","unstructured":"Jones, G., Sheeran, M.: Circuit design in Ruby. In: Staunstrup, J. (ed.) Formal Methods in VLSI Design, ch. 1. IFIP WG 10.5 Lecture Notes, pp. 13\u201370. North-Holland, Amsterdam (1990)"},{"key":"9_CR4","first-page":"363","volume-title":"Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications","author":"J. O\u2019Donnell","year":"1987","unstructured":"O\u2019Donnell, J.: Hardware description with recursion equations. In: Proceedings of the IFIP 8th International Symposium on Computer Hardware Description Languages and their Applications, Amsterdam, April 1987, pp. 363\u2013382. North-Holland, Amsterdam (1987)"},{"key":"9_CR5","first-page":"309","volume-title":"The Fusion of Hardware Design and Verification","author":"J. O\u2019Donnell","year":"1988","unstructured":"O\u2019Donnell, J.: Hydra: hardware description in a functional language using recursion equations and high order combining forms. In: Milne, G.J. (ed.) The Fusion of Hardware Design and Verification, pp. 309\u2013328. North-Holland, Amsterdam (1988)"},{"key":"9_CR6","series-title":"Workshops in Computing","first-page":"178","volume-title":"Functional Programming, Glasgow 1992","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, Heidelberg (1992)"},{"key":"9_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/3-540-60675-0_46","volume-title":"Functional Programming Languages in Education","author":"J. O\u2019Donnell","year":"1995","unstructured":"O\u2019Donnell, J.: From transistors to computer architecture: Teaching functional circuit specification in Hydra. In: Hartel, P.H., Plasmeijer, R. (eds.) FPLE 1995. LNCS, vol.\u00a01022, pp. 195\u2013214. Springer, Heidelberg (1995)"},{"key":"9_CR8","doi-asserted-by":"publisher","first-page":"234","DOI":"10.1109\/IPDPS.2002.1016653","volume-title":"Proceedings 16th International Parallel & Distributed Processing Symposium","author":"J. O\u2019Donnell","year":"2002","unstructured":"O\u2019Donnell, J.: Overview of Hydra: A concurrent language for synchronous digital circuit design. In: Proceedings 16th International Parallel & Distributed Processing Symposium, April 2002, p. 234. IEEE Computer Society, Los Alamitos (2002); Workshop on Parallel and Distribued Scientific and Engineering Computing with Applications\u2014 PDSECA (abstract)"},{"key":"9_CR9","unstructured":"O\u2019Donnell, J., R\u00fcnger, G.: Derivation of a carry lookahead addition circuit. In: Proceedings ACM SIGPLAN Haskell Workshop (HW 2001), September 2001. Electronic Notes in Theoretical Computer Science, vol.\u00a059(2) (2001)"},{"key":"9_CR10","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/581690.581691","volume-title":"ACM SIGPLAN Haskell Workshop 2002","author":"T. Sheard","year":"2002","unstructured":"Sheard, T., Jones, S.P.: Template metaprogramming for Haskell. In: Chakravarty, M.M.T. (ed.) ACM SIGPLAN Haskell Workshop 2002, October 2002, pp. 1\u201316. ACM Press, New York (2002)"}],"container-title":["Lecture Notes in Computer Science","Domain-Specific Program Generation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-25935-0_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T04:58:48Z","timestamp":1605761928000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-25935-0_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2004]]},"ISBN":["9783540221197","9783540259350"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-25935-0_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2004]]}}}