{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T21:18:35Z","timestamp":1764364715638,"version":"3.46.0"},"publisher-location":"Cham","reference-count":24,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031997501"},{"type":"electronic","value":"9783031997518"}],"license":[{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T00:00:00Z","timestamp":1759276800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-3-031-99751-8_7","type":"book-chapter","created":{"date-parts":[[2025,10,1]],"date-time":"2025-10-01T01:19:51Z","timestamp":1759281591000},"page":"139-164","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["From Haskell to a New Structured Combinator Processor"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0001-4707-7203","authenticated-orcid":false,"given":"Yukang","family":"Xie","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-8198-0746","authenticated-orcid":false,"given":"Craig","family":"Ramsay","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-0365-693X","authenticated-orcid":false,"given":"Robert","family":"Stewart","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6318-1732","authenticated-orcid":false,"given":"Hans-Wolfgang","family":"Loidl","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2025,10,1]]},"reference":[{"key":"7_CR1","doi-asserted-by":"publisher","unstructured":"Accetti, C., Liu, P.: Architectural support for functional programming. In: 30th IFIP\/IEEE 30th International Conference on Very Large Scale Integration, VLSI-SoC 2022, Patras, Greece, October 3-5, 2022, pp.\u00a01\u20132. IEEE (2022). https:\/\/doi.org\/10.1109\/VLSI-SOC54400.2022.9939644","DOI":"10.1109\/VLSI-SOC54400.2022.9939644"},{"issue":"2","key":"7_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1109\/LCA.2022.3198844","volume":"21","author":"C Accetti","year":"2022","unstructured":"Accetti, C., Ying, R., Liu, P.: Structured combinators for efficient graph reduction. IEEE Comput. Archit. Lett. 21(2), 73\u201376 (2022). https:\/\/doi.org\/10.1109\/LCA.2022.3198844","journal-title":"IEEE Comput. Archit. Lett."},{"key":"7_CR3","unstructured":"AMD: Alveo U280 data center accelerator card data sheet (ds963) (2023). https:\/\/docs.amd.com\/r\/en-US\/ds963-u280"},{"key":"7_CR4","doi-asserted-by":"publisher","unstructured":"Augustsson, L.: BWM: a concrete machine for graph reduction. In: Heldal, R., Holst, C.K., Wadler, P. (eds.) Functional Programming, Glasgow 1991, Proceedings of the 1991 Glasgow Workshop on Functional Programming, Portree, Isle of Skye, UK, 12-14 August 1991, pp. 36\u201350. Workshops in Computing, Springer (1991). https:\/\/doi.org\/10.1007\/978-1-4471-3196-0_3","DOI":"10.1007\/978-1-4471-3196-0_3"},{"key":"7_CR5","doi-asserted-by":"publisher","unstructured":"Augustsson, L.: MicroHs: a small compiler for haskell. In: Vazou, N., Morris, J.G. (eds.) Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, Haskell 2024, Milan, Italy, September 6-7, 2024, pp. 120\u2013124. ACM (2024). https:\/\/doi.org\/10.1145\/3677999.3678280","DOI":"10.1145\/3677999.3678280"},{"key":"7_CR6","doi-asserted-by":"publisher","unstructured":"Bachrach, J., et al.: Chisel: constructing hardware in a Scala embedded language. In: Groeneveld, P., Sciuto, D., Hassoun, S. (eds.) The 49th Annual Design Automation Conference 2012, DAC \u201912, San Francisco, CA, USA, June 3-7, 2012, pp. 1216\u20131225. ACM (2012). https:\/\/doi.org\/10.1145\/2228360.2228584","DOI":"10.1145\/2228360.2228584"},{"key":"7_CR7","doi-asserted-by":"publisher","unstructured":"Boeijink, A., H\u00f6lzenspies, P.K.F., Kuper, J.: Introducing the PilGRIM: A Processor for Executing Lazy Functional Languages. In: Hage, J., Moraz\u00e1n, M.T. (eds.) Implementation and Application of Functional Languages - 22nd International Symposium, IFL 2010, Alphen aan den Rijn, The Netherlands, September 1-3, 2010, Revised Selected Papers. Lecture Notes in Computer Science, vol.\u00a06647, pp. 54\u201371. Springer (2010). https:\/\/doi.org\/10.1007\/978-3-642-24276-2_4","DOI":"10.1007\/978-3-642-24276-2_4"},{"key":"7_CR8","doi-asserted-by":"publisher","unstructured":"Clarke, T.J.W., Gladstone, P., MacLean, C., Norman, A.C.: SKIM - The S, K, I Reduction Machine. In: Proceedings of the 1980 LISP Conference, Stanford, California, USA, August 25-27, 1980, pp. 128\u2013135. ACM (1980). https:\/\/doi.org\/10.1145\/800087.802798","DOI":"10.1145\/800087.802798"},{"key":"7_CR9","doi-asserted-by":"publisher","unstructured":"Fairbairn, J., Wray, S.: TIM: A simple, lazy abstract machine to execute supercombinatorics. In: Kahn, G. (ed.) Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings. Lecture Notes in Computer Science, vol.\u00a0274, pp. 34\u201345. Springer (1987). https:\/\/doi.org\/10.1007\/3-540-18317-5_3","DOI":"10.1007\/3-540-18317-5_3"},{"key":"7_CR10","doi-asserted-by":"publisher","unstructured":"Hughes, R.J.M.: Super-Combinators: a new implementation method for applicative languages. In: Park, D.M.R., Friedman, D.P., Wise, D.S., Jr., G.L.S. (eds.) Proceedings of the 1982 ACM Symposium on LISP and Functional Programming, LFP 1980, Pittsburgh, PA, USA, August 15-18, 1982, pp. 1\u201310. ACM (1982). https:\/\/doi.org\/10.1145\/800068.802129","DOI":"10.1145\/800068.802129"},{"key":"7_CR11","doi-asserted-by":"publisher","unstructured":"Johnsson, T.: Efficient compilation of lazy evaluation. In: Deusen, M.S.V., Graham, S.L. (eds.) Proceedings of the 1984 SIGPLAN Symposium on Compiler Construction, Montreal, Canada, June 17-22, 1984, pp. 58\u201369. ACM (1984). https:\/\/doi.org\/10.1145\/502874.502880","DOI":"10.1145\/502874.502880"},{"key":"7_CR12","unstructured":"Loidl, H.W., Hammond, K.: GRAPHing the future. In: International Workshop on the Implementation of Functional Languages. Norwich, England (1994)"},{"key":"7_CR13","unstructured":"Marlow, S.: Haskell 2010 Language Report (2010). https:\/\/www.haskell.org\/onlinereport\/haskell2010\/"},{"issue":"4\u20135","key":"7_CR14","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1017\/S0956796812000214","volume":"22","author":"M Naylor","year":"2012","unstructured":"Naylor, M., Runciman, C.: The reduceron reconfigured and re-evaluated. J. Funct. Program. 22(4\u20135), 574\u2013613 (2012). https:\/\/doi.org\/10.1017\/S0956796812000214","journal-title":"J. Funct. Program."},{"key":"7_CR15","unstructured":"Peyton Jones, S.L.: The Implementation of Functional Programming Languages. Prentice-Hall (1987)"},{"key":"7_CR16","doi-asserted-by":"publisher","unstructured":"Peyton Jones, S.L., Clack, C.D., Salkild, J., Hardie, M.: GRIP - A high-performance architecture for parallel graph reduction. In: Kahn, G. (ed.) Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings. Lecture Notes in Computer Science, vol.\u00a0274, pp. 98\u2013112. Springer (1987). https:\/\/doi.org\/10.1007\/3-540-18317-5_7","DOI":"10.1007\/3-540-18317-5_7"},{"key":"7_CR17","doi-asserted-by":"publisher","unstructured":"Pope, J., Seger, C.H., Valter, H.: Higher-order hardware: implementation and evaluation of the Cephalopode Graph Reduction Processor. In: 22nd ACM-IEEE International Symposium on Formal Methods and Models for System Design, MEMOCODE 2024, Raleigh, NC, USA, October 3-4, 2024, pp. 87\u201397. IEEE (2024). https:\/\/doi.org\/10.1109\/MEMOCODE63347.2024.00015","DOI":"10.1109\/MEMOCODE63347.2024.00015"},{"key":"7_CR18","doi-asserted-by":"publisher","unstructured":"Ramsay, C., Stewart, R.J.: Heron: modern hardware graph reduction. In: The 35th Symposium on Implementation and Application of Functional Languages, IFL 2023, Braga, Portugal, August 29-31, 2023, pp. 3:1\u20133:12. ACM (2023). https:\/\/doi.org\/10.1145\/3652561.3652564","DOI":"10.1145\/3652561.3652564"},{"key":"7_CR19","doi-asserted-by":"publisher","unstructured":"Ramsay, C., Stewart, R.J.: Cloaca: a concurrent hardware garbage collector for non-strict functional languages. In: Vazou, N., Morris, J.G. (eds.) Proceedings of the 17th ACM SIGPLAN International Haskell Symposium, Haskell 2024, Milan, September 6-7, 2024, pp. 41\u201354. ACM (2024). https:\/\/doi.org\/10.1145\/3677999.3678277","DOI":"10.1145\/3677999.3678277"},{"key":"7_CR20","doi-asserted-by":"publisher","unstructured":"Scheevel, M.: NORMA: a graph reduction processor. In: Scherlis, W.L., Williams, J.H., Gabriel, R.P. (eds.) Proceedings of the 1986 ACM Conference on LISP and Functional Programming, LFP 1986, Cambridge, Massachusetts, August 4-6, 1986, pp. 212\u2013219. ACM (1986). https:\/\/doi.org\/10.1145\/319838.319864","DOI":"10.1145\/319838.319864"},{"key":"7_CR21","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nfinkel, M.: \u00dcber die Bausteine der mathematischen Logik. Mathematische Annalen 92, 305\u2013316 (1924). http:\/\/eudml.org\/doc\/159074","DOI":"10.1007\/BF01448013"},{"issue":"1","key":"7_CR22","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1002\/SPE.4380090105","volume":"9","author":"DA Turner","year":"1979","unstructured":"Turner, D.A.: A new implementation technique for applicative languages. Softw. Pract. Exp. 9(1), 31\u201349 (1979). https:\/\/doi.org\/10.1002\/SPE.4380090105","journal-title":"Softw. Pract. Exp."},{"key":"7_CR23","doi-asserted-by":"publisher","unstructured":"Watson, P., Watson, I.: Evaluating functional programs on the FLAGSHIP machine. In: Kahn, G. (ed.) Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings. Lecture Notes in Computer Science, vol.\u00a0274, pp. 80\u201397. Springer (1987). https:\/\/doi.org\/10.1007\/3-540-18317-5_6","DOI":"10.1007\/3-540-18317-5_6"},{"key":"7_CR24","doi-asserted-by":"crossref","unstructured":"Xie, Y., Ramsay, C., Stewart, R.J., Loidl, H.W.: Dataset and source code archive for TFP 2025 paper: from Haskell to a new structured combinator processor (2025) . https:\/\/doi.org\/10.17861\/aa1d9f11-cdc9-406d-8ac8-d05719e7d955","DOI":"10.1007\/978-3-031-99751-8_7"}],"container-title":["Lecture Notes in Computer Science","Trends in Functional Programming"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-99751-8_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,11,28]],"date-time":"2025-11-28T20:22:12Z","timestamp":1764361332000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-99751-8_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,1]]},"ISBN":["9783031997501","9783031997518"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-99751-8_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2025,10,1]]},"assertion":[{"value":"1 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"TFP","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Trends in Functional Programming","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Oxford","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"United Kingdom","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14 January 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 January 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"tfp2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/trendsfp.github.io\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}