{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:20:48Z","timestamp":1750306848102,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,1,11]],"date-time":"2014-01-11T00:00:00Z","timestamp":1389398400000},"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":[[2014,1,11]]},"DOI":"10.1145\/2543728.2543736","type":"proceedings-article","created":{"date-parts":[[2014,1,14]],"date-time":"2014-01-14T13:40:06Z","timestamp":1389706806000},"page":"97-108","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["The HERMIT in the stream"],"prefix":"10.1145","author":[{"given":"Andrew","family":"Farmer","sequence":"first","affiliation":[{"name":"The University of Kansas, Lawrence, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Christian","family":"Hoener zu Siederdissen","sequence":"additional","affiliation":[{"name":"University of Vienna, Vienna, Austria"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Gill","sequence":"additional","affiliation":[{"name":"The University of Kansas, Lawrence, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2014,1,11]]},"reference":[{"key":"e_1_3_2_1_1_1","first-page":"127","volume-title":"Joint Parsing and Alignment with Weakly Synchronized Grammars. In Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics","author":"Burkett D.","year":"2010","unstructured":"D. Burkett , J. Blitzer , and D. Klein . Joint Parsing and Alignment with Weakly Synchronized Grammars. In Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics , pages 127 -- 135 . Association for Computational Linguistics , 2010 . D. Burkett, J. Blitzer, and D. Klein. Joint Parsing and Alignment with Weakly Synchronized Grammars. In Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics, pages 127--135. Association for Computational Linguistics, 2010."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291199"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364506.2364508"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03034-5_14"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165214"},{"key":"e_1_3_2_1_9_1","volume-title":"First International Workshop on Polyhedral Compilation Techniques","author":"Grosser T.","year":"2011","unstructured":"T. Grosser , H. Zheng , R. Aloor , A. Simb\u00fcrger , A. Gr\u00f6\u00dflinger , and L.-N. Pouchet . Polly - Polyhedral optimization in LLVM . In First International Workshop on Polyhedral Compilation Techniques , 2011 . T. Grosser, H. Zheng, R. Aloor, A. Simb\u00fcrger, A. Gr\u00f6\u00dflinger, and L.-N. Pouchet. Polly - Polyhedral optimization in LLVM. In First International Workshop on Polyhedral Compilation Techniques, 2011."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"crossref","DOI":"10.1007\/978-0-387-68954-8","volume-title":"Parsing Techniques: A Practical Guide","author":"Grune D.","year":"2008","unstructured":"D. Grune and C. J. Jacobs . Parsing Techniques: A Practical Guide . Springer-Verlag New York Inc , 2008 . D. Grune and C. J. Jacobs. Parsing Techniques: A Practical Guide. Springer-Verlag New York Inc, 2008."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2050135.2050137"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364559"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-02624-4_8"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1093\/bioinformatics\/btp481"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/977395.977673"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2503778.2503782"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500601"},{"key":"e_1_3_2_1_18_1","unstructured":"B. O'Sullivan. http:\/\/hackage.haskell.org\/package\/criterion.  B. O'Sullivan. http:\/\/hackage.haskell.org\/package\/criterion."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/647557.729913"},{"key":"e_1_3_2_1_20_1","volume-title":"phHaskell 98 Language and Libraries -- The Revised Report","author":"Jones S. Peyton","year":"2003","unstructured":"S. Peyton Jones , editor. phHaskell 98 Language and Libraries -- The Revised Report . Cambridge University Press , Cambridge, England , 2003 . S. Peyton Jones, editor. phHaskell 98 Language and Libraries -- The Revised Report. Cambridge University Press, Cambridge, England, 2003."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291200"},{"key":"e_1_3_2_1_22_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-06859-7_148","volume-title":"Colloque sur la Programmation","author":"Reynolds J. C.","year":"1974","unstructured":"J. C. Reynolds . Towards a theory of type structure . In Colloque sur la Programmation , volume 19 of Lecture Notes in Computer Science , pages 408 -- 423 . Springer-Verlag , 1974 . J. C. Reynolds. Towards a theory of type structure. In Colloque sur la Programmation, volume 19 of Lecture Notes in Computer Science, pages 408--423. Springer-Verlag, 1974."},{"key":"e_1_3_2_1_24_1","series-title":"Lecture Notes in Computer Science","volume-title":"Implementation and Application of Functional Languages","author":"Sculthorpe N.","year":"2012","unstructured":"N. Sculthorpe , A. Farmer , and A. Gill . The HERMIT in the tree: Mechanizing program transformations in the GHC core language . In Implementation and Application of Functional Languages 2012 , volume 8241 of Lecture Notes in Computer Science . Springer , 2013. N. Sculthorpe, A. Farmer, and A. Gill. The HERMIT in the tree: Mechanizing program transformations in the GHC core language. In Implementation and Application of Functional Languages 2012, volume 8241 of Lecture Notes in Computer Science. Springer, 2013."},{"key":"e_1_3_2_1_25_1","volume-title":"The Kansas University Rewrite Engine: A Haskell-embedded strategic programming language with custom closed universes. Submitted to the Journal of Functional Programming","author":"Sculthorpe N.","year":"2013","unstructured":"N. Sculthorpe , N. Frisby , and A. Gill . The Kansas University Rewrite Engine: A Haskell-embedded strategic programming language with custom closed universes. Submitted to the Journal of Functional Programming , 2013 . N. Sculthorpe, N. Frisby, and A. Gill. The Kansas University Rewrite Engine: A Haskell-embedded strategic programming language with custom closed universes. Submitted to the Journal of Functional Programming, 2013."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190324"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863538"},{"key":"e_1_3_2_1_29_1","volume-title":"The Implementation of Functional Programming Languages","author":"Wadler P.","year":"1987","unstructured":"P. Wadler . List comprehensions . In S. Peyton Jones, editor, The Implementation of Functional Programming Languages , chapter 7. Prentice Hall International , 1987 . P. Wadler. List comprehensions. In S. Peyton Jones, editor, The Implementation of Functional Programming Languages, chapter 7. Prentice Hall International, 1987."},{"key":"e_1_3_2_1_30_1","first-page":"344","volume-title":"Proceedings of the 2nd European Symposium on Programming","author":"Wadler P.","year":"1988","unstructured":"P. Wadler . Deforestation : Transforming programs to eliminate trees . In Proceedings of the 2nd European Symposium on Programming , pages 344 -- 358 , London, UK, UK , 1988 . Springer-Verlag. P. Wadler. Deforestation: Transforming programs to eliminate trees. In Proceedings of the 2nd European Symposium on Programming, pages 344--358, London, UK, UK, 1988. Springer-Verlag."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/114005.102806"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"POPL '14: The 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"San Diego California USA","acronym":"POPL '14"},"container-title":["Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2543728.2543736","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2543728.2543736","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T08:10:15Z","timestamp":1750234215000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2543728.2543736"}},"subtitle":["fusing stream fusion's concatMap"],"short-title":[],"issued":{"date-parts":[[2014,1,11]]},"references-count":27,"alternative-id":["10.1145\/2543728.2543736","10.1145\/2543728"],"URL":"https:\/\/doi.org\/10.1145\/2543728.2543736","relation":{},"subject":[],"published":{"date-parts":[[2014,1,11]]},"assertion":[{"value":"2014-01-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}