{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T02:10:15Z","timestamp":1742436615938,"version":"3.40.1"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642276934"},{"type":"electronic","value":"9783642276941"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-27694-1_16","type":"book-chapter","created":{"date-parts":[[2012,2,7]],"date-time":"2012-02-07T22:38:40Z","timestamp":1328654320000},"page":"212-226","source":"Crossref","is-referenced-by-count":1,"title":["Handshaking in Kansas Lava Using Patch Logic"],"prefix":"10.1007","author":[{"given":"Andy","family":"Gill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bowe","family":"Neuenschwander","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","unstructured":"Axelsson, E.: Functional Programming Enabling Flexible Hardware Design at Low Levels of Abstraction. Ph.D. thesis, Department of Computer Science and Engineering Chalmers University of Technology and University of Gothenburg (2008)"},{"key":"16_CR2","doi-asserted-by":"crossref","unstructured":"Axelsson, E., Claessen, K., Dvai, G., Horvth, Z., Keijzer, K., Lyckegrd, B., Persson, A., Sheeran, M., Svenningsson, J., Vajdax, A.: Feldspar: A domain specific language for digital signal processing algorithms. In: MEMOCODE 2010, pp. 169\u2013178 (2010)","DOI":"10.1109\/MEMCOD.2010.5558637"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Bellows, P., Hutchings, B.: JHDL - an HDL for reconfigurable systems. In: Annual IEEE Symposium on Field-Programmable Custom Computing Machines, p. 175 (1998)","DOI":"10.21236\/ADA450477"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Bjesse, P., Claessen, K., Sheeran, M., Singh, S.: Lava: Hardware design in Haskell. In: International Conference on Functional Programming, pp. 174\u2013184 (1998)","DOI":"10.1145\/291251.289440"},{"key":"16_CR5","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":"16_CR6","doi-asserted-by":"crossref","unstructured":"Gill, A.: Type-safe observable sharing in Haskell. In: Proceedings of the 2009 ACM SIGPLAN Haskell Symposium (September 2009)","DOI":"10.1145\/1596638.1596653"},{"key":"16_CR7","unstructured":"Gill, A.: Declarative FPGA circuit synthesis using Kansas Lava. In: The International Conference on Engineering of Reconfigurable Systems and Algorithms (ERSA 2011), Las Vegas, Nevada, USA (July 2011)"},{"key":"16_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/978-3-642-22941-1_8","volume-title":"Trends in Functional Programming","author":"A. Gill","year":"2011","unstructured":"Gill, A., Bull, T., Farmer, A., Kimmell, G., Komp, E.: Types and Type Families for Hardware Simulation and Synthesis. In: Page, R., Horv\u00e1th, Z., Zs\u00f3k, V. (eds.) TFP 2010. LNCS, vol.\u00a06546, pp. 118\u2013133. Springer, Heidelberg (2011)"},{"key":"16_CR9","volume-title":"Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation","author":"S. Hauck","year":"2007","unstructured":"Hauck, S., DeHon, A.: Reconfigurable Computing: The Theory and Practice of FPGA-Based Computation. Morgan Kaufmann Publishers Inc., San Francisco (2007)"},{"key":"16_CR10","unstructured":"Jones, G., Sheeran, M.: Circuit design in ruby. In: Staunstrup (ed.) Formal Methods for VLSI Design. Elsevier Science Publications (1990)"},{"key":"16_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-16478-1_4","volume-title":"Implementation and Application of Functional Languages","author":"K. Matlage","year":"2010","unstructured":"Matlage, K., Gill, A.: ChalkBoard: Mapping Functions to Polygons. In: Moraz\u00e1n, M.T., Scholz, S.-B. (eds.) IFL 2009. LNCS, vol.\u00a06041, pp. 55\u201371. Springer, Heidelberg (2010)"},{"volume-title":"Haskell 98 Language and Libraries \u2013 The Revised Report","year":"2003","key":"16_CR12","unstructured":"Peyton Jones, S. (ed.): Haskell 98 Language and Libraries \u2013 The Revised Report. Cambridge University Press, Cambridge (2003)"},{"key":"16_CR13","doi-asserted-by":"publisher","first-page":"104","DOI":"10.1145\/800055.802026","volume-title":"LFP 1984: Proceedings of the 1984 ACM Symposium on LISP and Functional Programming","author":"M. Sheeran","year":"1984","unstructured":"Sheeran, M.: mufp, a language for vlsi design. In: LFP 1984: Proceedings of the 1984 ACM Symposium on LISP and Functional Programming, pp. 104\u2013112. ACM, New York (1984)"},{"key":"16_CR14","doi-asserted-by":"crossref","unstructured":"Singh, S.: Designing reconfigurable systems in lava. In: International Conference on VLSI Design, p. 299 (2004)","DOI":"10.1109\/ICVD.2004.1260941"},{"key":"16_CR15","first-page":"91","volume-title":"FCCM 2001: Proceedings of the the 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines","author":"S. Singh","year":"2001","unstructured":"Singh, S., James-Roxby, P.: Lava and JBits: From hdl to bitstream in seconds. In: FCCM 2001: Proceedings of the the 9th Annual IEEE Symposium on Field-Programmable Custom Computing Machines, pp. 91\u2013100. IEEE Computer Society, Washington, DC (2001)"}],"container-title":["Lecture Notes in Computer Science","Practical Aspects of Declarative Languages"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-27694-1_16","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,20]],"date-time":"2025-03-20T01:39:19Z","timestamp":1742434759000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-27694-1_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642276934","9783642276941"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-27694-1_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}