{"id":"https://openalex.org/W1968863783","doi":"https://doi.org/10.1145/2543728.2543736","title":"The HERMIT in the stream","display_name":"The HERMIT in the stream","publication_year":2014,"publication_date":"2014-01-11","ids":{"openalex":"https://openalex.org/W1968863783","doi":"https://doi.org/10.1145/2543728.2543736","mag":"1968863783"},"language":"en","primary_location":{"id":"doi:10.1145/2543728.2543736","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2543728.2543736","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5077194053","display_name":"Andrew Farmer","orcid":"https://orcid.org/0000-0002-4224-2433"},"institutions":[{"id":"https://openalex.org/I146416000","display_name":"University of Kansas","ror":"https://ror.org/001tmjg57","country_code":"US","type":"education","lineage":["https://openalex.org/I146416000"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andrew Farmer","raw_affiliation_strings":["The University of Kansas, Lawrence, KS, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Kansas, Lawrence, KS, USA","institution_ids":["https://openalex.org/I146416000"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005332412","display_name":"Christian H\u00f6ner zu Siederdissen","orcid":"https://orcid.org/0000-0001-9517-5839"},"institutions":[{"id":"https://openalex.org/I129774422","display_name":"University of Vienna","ror":"https://ror.org/03prydq77","country_code":"AT","type":"education","lineage":["https://openalex.org/I129774422"]}],"countries":["AT"],"is_corresponding":false,"raw_author_name":"Christian Hoener zu Siederdissen","raw_affiliation_strings":["University of Vienna, Vienna, Austria"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Vienna, Vienna, Austria","institution_ids":["https://openalex.org/I129774422"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5029124439","display_name":"Andy Gill","orcid":null},"institutions":[{"id":"https://openalex.org/I146416000","display_name":"University of Kansas","ror":"https://ror.org/001tmjg57","country_code":"US","type":"education","lineage":["https://openalex.org/I146416000"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andy Gill","raw_affiliation_strings":["The University of Kansas, Lawrence, KS, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"The University of Kansas, Lawrence, KS, USA","institution_ids":["https://openalex.org/I146416000"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.652,"has_fulltext":false,"cited_by_count":16,"citation_normalized_percentile":{"value":0.94782389,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"97","last_page":"108"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":0.9990000128746033,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9988999962806702,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.9902999997138977,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.8929827213287354},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8842800855636597},{"id":"https://openalex.org/keywords/compiler","display_name":"Compiler","score":0.8018099069595337},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6630698442459106},{"id":"https://openalex.org/keywords/transformation","display_name":"Transformation (genetics)","score":0.6138656139373779},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.5782591104507446},{"id":"https://openalex.org/keywords/stream-processing","display_name":"Stream processing","score":0.5744341611862183},{"id":"https://openalex.org/keywords/program-transformation","display_name":"Program transformation","score":0.569145143032074},{"id":"https://openalex.org/keywords/fuse","display_name":"Fuse (electrical)","score":0.49343886971473694},{"id":"https://openalex.org/keywords/parallel-computing","display_name":"Parallel computing","score":0.48809516429901123},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.463113933801651},{"id":"https://openalex.org/keywords/optimizing-compiler","display_name":"Optimizing compiler","score":0.45314061641693115},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.45048993825912476}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.8929827213287354},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8842800855636597},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.8018099069595337},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6630698442459106},{"id":"https://openalex.org/C204241405","wikidata":"https://www.wikidata.org/wiki/Q461499","display_name":"Transformation (genetics)","level":3,"score":0.6138656139373779},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.5782591104507446},{"id":"https://openalex.org/C107027933","wikidata":"https://www.wikidata.org/wiki/Q2006448","display_name":"Stream processing","level":2,"score":0.5744341611862183},{"id":"https://openalex.org/C2778361913","wikidata":"https://www.wikidata.org/wiki/Q7248437","display_name":"Program transformation","level":2,"score":0.569145143032074},{"id":"https://openalex.org/C141353440","wikidata":"https://www.wikidata.org/wiki/Q182221","display_name":"Fuse (electrical)","level":2,"score":0.49343886971473694},{"id":"https://openalex.org/C173608175","wikidata":"https://www.wikidata.org/wiki/Q232661","display_name":"Parallel computing","level":1,"score":0.48809516429901123},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.463113933801651},{"id":"https://openalex.org/C190902152","wikidata":"https://www.wikidata.org/wiki/Q1325106","display_name":"Optimizing compiler","level":3,"score":0.45314061641693115},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.45048993825912476},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C119599485","wikidata":"https://www.wikidata.org/wiki/Q43035","display_name":"Electrical engineering","level":1,"score":0.0},{"id":"https://openalex.org/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","level":1,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.0},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/2543728.2543736","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2543728.2543736","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the ACM SIGPLAN 2014 Workshop on Partial Evaluation and Program Manipulation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.46000000834465027,"display_name":"Life in Land","id":"https://metadata.un.org/sdg/15"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"},{"id":"https://openalex.org/F4320321181","display_name":"Austrian Science Fund","ror":"https://ror.org/013tf3c58"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":32,"referenced_works":["https://openalex.org/W15565884","https://openalex.org/W17659133","https://openalex.org/W199231109","https://openalex.org/W808017860","https://openalex.org/W1480753098","https://openalex.org/W1543641760","https://openalex.org/W1545172682","https://openalex.org/W1562942180","https://openalex.org/W1572186276","https://openalex.org/W1595372275","https://openalex.org/W1966981171","https://openalex.org/W1968942384","https://openalex.org/W2003716509","https://openalex.org/W2012827905","https://openalex.org/W2071978920","https://openalex.org/W2076401592","https://openalex.org/W2081124914","https://openalex.org/W2112474400","https://openalex.org/W2116827712","https://openalex.org/W2118165414","https://openalex.org/W2125690388","https://openalex.org/W2134709894","https://openalex.org/W2150563643","https://openalex.org/W2153185479","https://openalex.org/W2159227002","https://openalex.org/W2161043701","https://openalex.org/W2197405289","https://openalex.org/W2208923056","https://openalex.org/W2561675875","https://openalex.org/W2606963276","https://openalex.org/W4206078070","https://openalex.org/W6736295056"],"related_works":["https://openalex.org/W2112263414","https://openalex.org/W1602185604","https://openalex.org/W3004782279","https://openalex.org/W2028779182","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W2129253059","https://openalex.org/W4296274916","https://openalex.org/W1504459189","https://openalex.org/W1755575651"],"abstract_inverted_index":{"Stream":[0,31,139],"Fusion,":[1],"a":[2,17,79,101,158],"popular":[3],"deforestation":[4],"technique":[5],"in":[6,96],"the":[7,12,34,45,61,71,85,91,94,119],"Haskell":[8,36],"community,":[9],"cannot":[10],"fuse":[11,48],"concatMap":[13,21,52,87,128],"combinator.":[14],"This":[15,137],"is":[16],"serious":[18],"limitation,":[19],"as":[20],"represents":[22],"computations":[23],"on":[24,146],"nested":[25],"streams.":[26,123],"The":[27],"original":[28],"implementation":[29],"of":[30,51,93,127,161],"Fusion":[32,140],"used":[33],"Glasgow":[35],"Compiler's":[37],"user-directed":[38],"rewriting":[39],"system.":[40],"A":[41],"transformation":[42,95,120],"which":[43,83,108],"allows":[44,138],"compiler":[46],"to":[47,69,111,121,141,154],"many":[49,147],"uses":[50,126],"has":[53],"previously":[54],"been":[55],"proposed,":[56],"but":[57],"never":[58],"implemented,":[59],"because":[60],"host":[62],"rewrite":[63],"system":[64],"was":[65],"not":[66],"expressive":[67],"enough":[68],"implement":[70],"proposed":[72,86],"transformation.":[73],"In":[74],"this":[75,115,135],"paper,":[76],"we":[77,117],"develop":[78],"custom":[80],"optimization":[81],"plugin":[82],"implements":[84],"transformation,":[88],"and":[89,150],"study":[90],"effectiveness":[92],"practice.":[97],"We":[98],"also":[99],"provide":[100],"new":[102],"translation":[103],"scheme":[104],"for":[105],"list":[106,148],"comprehensions":[107],"enables":[109,151],"them":[110],"be":[112,155],"optimized.":[113],"Within":[114],"framework,":[116],"extend":[118],"monadic":[122],"Code":[124],"featuring":[125],"experiences":[129],"significant":[130],"speedup":[131],"when":[132],"compiled":[133],"with":[134],"optimization.":[136],"outperform":[142],"its":[143],"rival,":[144],"foldr/build,":[145],"computations,":[149],"performance-sensitive":[152],"code":[153],"expressed":[156],"at":[157],"higher":[159],"level":[160],"abstraction.":[162]},"counts_by_year":[{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":5},{"year":2014,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}