{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,4]],"date-time":"2026-05-04T10:24:42Z","timestamp":1777890282349,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642344060","type":"print"},{"value":"9783642344077","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-34407-7_11","type":"book-chapter","created":{"date-parts":[[2012,11,6]],"date-time":"2012-11-06T00:58:14Z","timestamp":1352163494000},"page":"164-180","source":"Crossref","is-referenced-by-count":6,"title":["Hardware Design with Generalized Arrows"],"prefix":"10.1007","author":[{"given":"Adam","family":"Megacz","sequence":"first","affiliation":[]}],"member":"297","reference":[{"issue":"8","key":"11_CR1","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1145\/359576.359579","volume":"21","author":"J. Backus","year":"1978","unstructured":"Backus, J.: Can programming be liberated from the von neumann style? a functional style and its algebra of programs. Communications of the ACM\u00a021(8), 613\u2013641 (1978), http:\/\/doi.acm.org\/10.1145\/359576.359579","journal-title":"Communications of the ACM"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: hardware design in haskell. In: ICFP 1998 (January 1998), http:\/\/portal.acm.org\/citation.cfm?id=289440","DOI":"10.1145\/289423.289440"},{"key":"11_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1007\/3-540-46674-6_7","volume-title":"Advances in Computing Science - ASIAN\u201999","author":"K. Claessen","year":"1999","unstructured":"Claessen, K., Sands, D.: Observable Sharing for Functional Circuit Description. In: Thiagarajan, P.S., Yap, R.H.C. (eds.) ASIAN 1999. LNCS, vol.\u00a01742, pp. 62\u201373. Springer, Heidelberg (1999)"},{"key":"11_CR4","unstructured":"Erk\u00f6k, L., Launchbury, J.: Recursive monadic bindings. In: Proceedings of ICFP 2000, pp. 174\u2013185. ACM (2000), http:\/\/doi.acm.org\/10.1145\/351240.351257"},{"key":"11_CR5","unstructured":"Gill, A.: Type-safe observable sharing in haskell. In: Haskell Symposium, pp. 117\u2013128. ACM (2009), http:\/\/doi.acm.org\/10.1145\/1596638.1596653"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-642-16478-1_2","volume-title":"Implementation and Application of Functional Languages","author":"A. Gill","year":"2010","unstructured":"Gill, A., Bull, T., Kimmell, G., Perrins, E., Komp, E., Werling, B.: Introducing Kansas Lava. In: Moraz\u00e1n, M.T., Scholz, S.-B. (eds.) IFL 2009. LNCS, vol.\u00a06041, pp. 18\u201335. Springer, Heidelberg (2010), http:\/\/www.ittc.ku.edu\/csdl\/fpg\/sites\/"},{"issue":"2","key":"11_CR7","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1017\/S0956796805005757","volume":"16","author":"J. Grundy","year":"2005","unstructured":"Grundy, J., Melham, T., O\u2019leary, J.: A reflective functional language for hardware design and theorem proving. Journal of Functional Programming\u00a016(2), 157\u2013196 (2005), http:\/\/journals.cambridge.org\/abstract_S0956796805005757","journal-title":"Journal of Functional Programming"},{"key":"11_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/3-540-60164-3_28","volume-title":"Category Theory and Computer Science","author":"M. Hasegawa","year":"1995","unstructured":"Hasegawa, M.: Decomposing Typed Lambda Calculus into a Couple of Categorical Programming Languages. In: Johnstone, P.T., Rydeheard, D.E., Pitt, D.H. (eds.) CTCS 1995. LNCS, vol.\u00a0953, pp. 200\u2013219. Springer, Heidelberg (1995), http:\/\/dx.doi.org\/10.1007\/3-540-60164-3_28"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/3-540-59451-5_3","volume-title":"Advanced Functional Programming","author":"J. Hughes","year":"1995","unstructured":"Hughes, J.: The Design of a Pretty-Printing Library. In: Jeuring, J., Meijer, E. (eds.) AFP 1995. LNCS, vol.\u00a0925, pp. 53\u201396. Springer, Heidelberg (1995), http:\/\/dx.doi.org\/10.1007\/3-540-59451-5%5f3"},{"key":"11_CR10","doi-asserted-by":"crossref","unstructured":"Matthews, J., Cook, B., Launchbury, J.: Microprocessor specification in hawk. In: Proceedings of 1998 International Conference on Computer Languages, pp. 90\u2013101 (May 1998)","DOI":"10.1109\/ICCL.1998.674160"},{"key":"11_CR11","unstructured":"Megacz, A.: Multi-Level Languages are Generalized Arrows. CoRR, abs\/1007.2885 (2010), http:\/\/arxiv.org\/abs\/1007.2885 , DBLP, http:\/\/dblp.uni-trier.de"},{"issue":"8","key":"11_CR12","doi-asserted-by":"publisher","first-page":"707","DOI":"10.1007\/s002360050067","volume":"33","author":"R. Milner","year":"1996","unstructured":"Milner, R.: Calculi for interaction. Acta Inf.\u00a033(8), 707\u2013737 (1996), http:\/\/dx.doi.org\/10.1007\/BF03036472","journal-title":"Acta Inf."},{"key":"11_CR13","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511526572","volume-title":"Two-Level Functional Languages","author":"F. Nielson","year":"1992","unstructured":"Nielson, F., Neilson, H.R.: Two-Level Functional Languages. Cambridge University Press, Cambridge (1992)"},{"issue":"1","key":"11_CR14","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1016\/0304-3975(90)90109-U","volume":"89","author":"F. Pfenning","year":"1991","unstructured":"Pfenning, F., Lee, P.: Metacircularity in the polymorphic \u03bb-calculus. Theoretical Computer Science\u00a089(1), 137\u2013159 (1991), http:\/\/www.sciencedirect.com\/science\/article\/pii\/030439759090109U","journal-title":"Theoretical Computer Science"},{"key":"11_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/BFb0040259","volume-title":"Mathematical Foundations of Programming Semantics","author":"F. Pfenning","year":"1990","unstructured":"Pfenning, F., Paulin-Mohring, C.: Inductively Defined Types in the Calculus of Constructions. In: Schmidt, D.A., Main, M.G., Melton, A.C., Mislove, M.W. (eds.) MFPS 1989. LNCS, vol.\u00a0442, pp. 209\u2013228. Springer, Heidelberg (1990), http:\/\/www.sciencedirect.com\/science\/article\/pii\/030439759090109U"},{"key":"11_CR16","unstructured":"Selinger, P.: A survey of graphical languages for monoidal categories (August 23, 2009), http:\/\/arxiv.org\/abs\/0908.3347"},{"key":"11_CR17","unstructured":"Sheard, T., Linger, N.: Programming in omega. Tech. rep., 2nd Central European Functional Programming School (2007)"},{"key":"11_CR18","doi-asserted-by":"crossref","unstructured":"Sheeran, M.: muFP, A language for VLSI design. In: LISP and Functional Programming, pp. 104\u2013112 (1984)","DOI":"10.1145\/800055.802026"},{"key":"11_CR19","doi-asserted-by":"crossref","unstructured":"Taha, W., Sheard, T.: Multi-stage programming with explicit annotations. SIGPLAN Not.\u00a032(12), 203\u2013207 (1997) ISSN: 0362-1340, doi: 10.1145\/258994.259019, http:\/\/doi.acm.org\/10.1145\/258994.259019","DOI":"10.1145\/258994.259019"},{"key":"11_CR20","unstructured":"Taha, W., Nielsen, M.F.: Environment classifiers, pp. 26\u201337 (2003), http:\/\/doi.acm.org\/10.1145\/640128.604134"}],"container-title":["Lecture Notes in Computer Science","Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-34407-7_11.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,20]],"date-time":"2025-04-20T08:39:44Z","timestamp":1745138384000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-34407-7_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642344060","9783642344077"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-34407-7_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}