{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:05Z","timestamp":1772164025602,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,7]],"date-time":"2017-09-07T00:00:00Z","timestamp":1504742400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2017,9,7]]},"DOI":"10.1145\/3122955.3122970","type":"proceedings-article","created":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T08:27:52Z","timestamp":1504254472000},"page":"162-173","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Hardware software co-design in Haskell"],"prefix":"10.1145","author":[{"given":"Markus","family":"Aronsson","sequence":"first","affiliation":[{"name":"Chalmers University of Technology, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mary","family":"Sheeran","sequence":"additional","affiliation":[{"name":"Chalmers University of Technology, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"H. Apfelmus. 2017. The Operational Monad Tutorial (Blog Post). http:\/\/apfelmus.nfshost.com\/articles\/operational-monad.html. (2017).  H. Apfelmus. 2017. The Operational Monad Tutorial (Blog Post). http:\/\/apfelmus.nfshost.com\/articles\/operational-monad.html. (2017)."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2746325.2746334"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228411"},{"key":"e_1_3_2_1_4_1","unstructured":"E. Axelsson. 2016. Compilation as a Typed EDSL-to-EDSL Transformation (Blog post). http:\/\/fun-discoveries.blogspot.se\/2016\/03\/ . (2016).  E. Axelsson. 2016. Compilation as a Typed EDSL-to-EDSL Transformation (Blog post). http:\/\/fun-discoveries.blogspot.se\/2016\/03\/ . (2016)."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-39110-6_7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1109\/DSD.2010.21"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2228360.2228584"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289440"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-04132-2_5"},{"key":"e_1_3_2_1_10_1","volume-title":"Design and Verification of Microprocessor Systems for High-Assurance Applications","author":"Browning Sally","unstructured":"Sally Browning and Philip Weaver . 2010. Designing tunable, verifiable cryptographic hardware using Cryptol . In Design and Verification of Microprocessor Systems for High-Assurance Applications . Springer , 89\u2013143. Sally Browning and Philip Weaver. 2010. Designing tunable, verifiable cryptographic hardware using Cryptol. In Design and Verification of Microprocessor Systems for High-Assurance Applications. Springer, 89\u2013143."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"crossref","unstructured":"K. Claessen M. Sheeran and S. Singh. 2003. Using Lava to design and verify recursive and periodic sorters. IJSTTT 4 3 (2003).  K. Claessen M. Sheeran and S. Singh. 2003. Using Lava to design and verify recursive and periodic sorters. IJSTTT 4 3 (2003).","DOI":"10.1007\/s10009-002-0089-y"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2543581.2543588"},{"key":"e_1_3_2_1_14_1","volume-title":"2013 International Conference on Field-Programmable Technology (FPT). 120\u2013127","author":"George N.","unstructured":"N. George , D. Novo , T. Rompf , M. Odersky , and P. Ienne . 2013. Making domainspecific hardware synthesis tools cost-efficient . In 2013 International Conference on Field-Programmable Technology (FPT). 120\u2013127 . N. George, D. Novo, T. Rompf, M. Odersky, and P. Ienne. 2013. Making domainspecific hardware synthesis tools cost-efficient. In 2013 International Conference on Field-Programmable Technology (FPT). 120\u2013127."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034805"},{"key":"e_1_3_2_1_16_1","volume-title":"Proc. 21st Int. Conf. on Implementation and Application of Functional Languages (IFL). Springer-Verlag.","author":"Andy","unstructured":"Andy Gill et al. 2010. Introducing Kansas Lava . In Proc. 21st Int. Conf. on Implementation and Application of Functional Languages (IFL). Springer-Verlag. Andy Gill et al. 2010. Introducing Kansas Lava. In Proc. 21st Int. Conf. on Implementation and Application of Functional Languages (IFL). Springer-Verlag."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2628136.2628146"},{"key":"e_1_3_2_1_19_1","unstructured":"K. Moriarty. 2017. Password-Based Cryptography Specification Version 2.1. (2017). https:\/\/tools.ietf.org\/html\/rfc2898  K. Moriarty. 2017. Password-Based Cryptography Specification Version 2.1. (2017). https:\/\/tools.ietf.org\/html\/rfc2898"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/359168.359172"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"crossref","unstructured":"Alan Mycroft and Richard Sharp. 2001. Hardware\/Software Co-design Using Functional Languages. Springer-Verlag 236\u2013251.   Alan Mycroft and Richard Sharp. 2001. Hardware\/Software Co-design Using Functional Languages. Springer-Verlag 236\u2013251.","DOI":"10.1007\/3-540-45319-9_17"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2015.7340479"},{"key":"e_1_3_2_1_23_1","volume-title":"The Reduceron home page, fetched","author":"Naylor Matthew","year":"2017","unstructured":"Matthew Naylor , Colin Runciman , and Jason Reich . 2009. The Reduceron home page, fetched May 2017 . (2009). https:\/\/www.cs.york.ac.uk\/fp\/reduceron\/ Matthew Naylor, Colin Runciman, and Jason Reich. 2009. The Reduceron home page, fetched May 2017. (2009). https:\/\/www.cs.york.ac.uk\/fp\/reduceron\/"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1109\/MEMCOD.2004.1459818"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2004.840306"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500611"},{"key":"e_1_3_2_1_27_1","unstructured":"Bo Joel Svensson. 2017. OpenCL Reduction on the ZYNQ. (2017). http:\/\/svenssonjoel. github.io\/writing\/zynqreduce.pdf  Bo Joel Svensson. 2017. OpenCL Reduction on the ZYNQ. (2017). http:\/\/svenssonjoel. github.io\/writing\/zynqreduce.pdf"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1168919.1168898"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1109\/JPROC.2011.2182009"},{"key":"e_1_3_2_1_31_1","volume-title":"OpenSSL: The Open Source toolkit for SSL\/TLS. (April","author":"Project The","year":"2003","unstructured":"The OpenSSL Project . 2003. OpenSSL: The Open Source toolkit for SSL\/TLS. (April 2003 ). www.openssl.org . The OpenSSL Project. 2003. OpenSSL: The Open Source toolkit for SSL\/TLS. (April 2003). www.openssl.org ."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2808091.2808092"},{"key":"e_1_3_2_1_33_1","unstructured":"J.J. Vossen. 2016. Offloading Haskell functions onto an FPGA. Master\u2019s thesis. Univ. Twente.  J.J. Vossen. 2016. Offloading Haskell functions onto an FPGA. Master\u2019s thesis. Univ. Twente."},{"key":"e_1_3_2_1_34_1","volume-title":"Proc. 10th Int. Conf. on Hardware\/Software Codesign and System Synthesis (CODES). IEEE.","author":"Zhai Kuangya","unstructured":"Kuangya Zhai , Richard Townsend , Lianne Lairmore , Martha A. Kim , and Stephen A. Edwards . 2015. Hardware Synthesis from a Recursive Functional Language . In Proc. 10th Int. Conf. on Hardware\/Software Codesign and System Synthesis (CODES). IEEE. Kuangya Zhai, Richard Townsend, Lianne Lairmore, Martha A. Kim, and Stephen A. Edwards. 2015. Hardware Synthesis from a Recursive Functional Language. In Proc. 10th Int. Conf. on Hardware\/Software Codesign and System Synthesis (CODES). IEEE."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/3014904.3014951"}],"event":{"name":"ICFP '17: ACM SIGPLAN International Conference on Functional Programming","location":"Oxford UK","acronym":"ICFP '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122955.3122970","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3122955.3122970","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:11:04Z","timestamp":1750198264000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122955.3122970"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,7]]},"references-count":33,"alternative-id":["10.1145\/3122955.3122970","10.1145\/3122955"],"URL":"https:\/\/doi.org\/10.1145\/3122955.3122970","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3156695.3122970","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,9,7]]},"assertion":[{"value":"2017-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}