{"id":"https://openalex.org/W4213212286","doi":"https://doi.org/10.22152/programming-journal.org/2022/6/12","title":"United Monoids","display_name":"United Monoids","publication_year":2022,"publication_date":"2022-02-15","ids":{"openalex":"https://openalex.org/W4213212286","doi":"https://doi.org/10.22152/programming-journal.org/2022/6/12"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2022/6/12","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/12","pdf_url":"https://arxiv.org/pdf/2202.09230v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://arxiv.org/pdf/2202.09230v1","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5041019594","display_name":"Andrey Mokhov","orcid":"https://orcid.org/0000-0002-2493-3177"},"institutions":[{"id":"https://openalex.org/I84884186","display_name":"Newcastle University","ror":"https://ror.org/01kj2bm70","country_code":"GB","type":"education","lineage":["https://openalex.org/I84884186"]}],"countries":["GB"],"is_corresponding":true,"raw_author_name":"Andrey Mokhov","raw_affiliation_strings":["Jane Street, UK / Newcastle University, UK"],"affiliations":[{"raw_affiliation_string":"Jane Street, UK / Newcastle University, UK","institution_ids":["https://openalex.org/I84884186"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5041019594"],"corresponding_institution_ids":["https://openalex.org/I84884186"],"apc_list":null,"apc_paid":null,"fwci":0.552,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.70598098,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":"6","issue":"3","first_page":null,"last_page":null},"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.9948999881744385,"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.9948999881744385,"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/T10142","display_name":"Formal Methods in Verification","score":0.9916999936103821,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9883000254631042,"subfield":{"id":"https://openalex.org/subfields/1712","display_name":"Software"},"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/semiring","display_name":"Semiring","score":0.8174335956573486},{"id":"https://openalex.org/keywords/axiom","display_name":"Axiom","score":0.7098693251609802},{"id":"https://openalex.org/keywords/generality","display_name":"Generality","score":0.5987237691879272},{"id":"https://openalex.org/keywords/algebraic-number","display_name":"Algebraic number","score":0.5603821277618408},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.5493086576461792},{"id":"https://openalex.org/keywords/algebraic-expression","display_name":"Algebraic expression","score":0.5316151976585388},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.5223358869552612},{"id":"https://openalex.org/keywords/algebraic-structure","display_name":"Algebraic structure","score":0.5098149180412292},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.4130024313926697},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.39814841747283936},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.37915274500846863},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.23724648356437683},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.1403314173221588}],"concepts":[{"id":"https://openalex.org/C21696900","wikidata":"https://www.wikidata.org/wiki/Q1333055","display_name":"Semiring","level":2,"score":0.8174335956573486},{"id":"https://openalex.org/C167729594","wikidata":"https://www.wikidata.org/wiki/Q17736","display_name":"Axiom","level":2,"score":0.7098693251609802},{"id":"https://openalex.org/C2780767217","wikidata":"https://www.wikidata.org/wiki/Q5532421","display_name":"Generality","level":2,"score":0.5987237691879272},{"id":"https://openalex.org/C9376300","wikidata":"https://www.wikidata.org/wiki/Q168817","display_name":"Algebraic number","level":2,"score":0.5603821277618408},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5493086576461792},{"id":"https://openalex.org/C18912844","wikidata":"https://www.wikidata.org/wiki/Q4724001","display_name":"Algebraic expression","level":3,"score":0.5316151976585388},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.5223358869552612},{"id":"https://openalex.org/C182419690","wikidata":"https://www.wikidata.org/wiki/Q205464","display_name":"Algebraic structure","level":2,"score":0.5098149180412292},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.4130024313926697},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.39814841747283936},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.37915274500846863},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.23724648356437683},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.1403314173221588},{"id":"https://openalex.org/C542102704","wikidata":"https://www.wikidata.org/wiki/Q183257","display_name":"Psychotherapist","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"score":0.0},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.22152/programming-journal.org/2022/6/12","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/12","pdf_url":"https://arxiv.org/pdf/2202.09230v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:2202.09230","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2202.09230","pdf_url":"https://arxiv.org/pdf/2202.09230","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I205783295","host_organization_name":"Cornell University","host_organization_lineage":["https://openalex.org/I205783295"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"text"},{"id":"pmh:oai:eprints.ncl.ac.uk:281544","is_oa":true,"landing_page_url":"https://eprints.ncl.ac.uk/281544","pdf_url":null,"source":{"id":"https://openalex.org/S4306402485","display_name":"Newcastle University ePrints (Newcastle Univesity)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I84884186","host_organization_name":"Newcastle University","host_organization_lineage":["https://openalex.org/I84884186"],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"doi:10.22152/programming-journal.org/2022/6/12","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2022/6/12","pdf_url":"https://arxiv.org/pdf/2202.09230v1","source":{"id":"https://openalex.org/S4210199781","display_name":"The Art Science and Engineering of Programming","issn_l":"2473-7321","issn":["2473-7321"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"The Art, Science, and Engineering of Programming","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/9","display_name":"Industry, innovation and infrastructure","score":0.5899999737739563}],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4213212286.pdf","grobid_xml":"https://content.openalex.org/works/W4213212286.grobid-xml"},"referenced_works_count":28,"referenced_works":["https://openalex.org/W91586461","https://openalex.org/W1570445666","https://openalex.org/W1575675278","https://openalex.org/W1644475622","https://openalex.org/W1995618084","https://openalex.org/W2002089154","https://openalex.org/W2074556793","https://openalex.org/W2077353754","https://openalex.org/W2080726204","https://openalex.org/W2096490078","https://openalex.org/W2125528794","https://openalex.org/W2139247070","https://openalex.org/W2143658255","https://openalex.org/W2144311135","https://openalex.org/W2513970686","https://openalex.org/W2533248932","https://openalex.org/W2751199924","https://openalex.org/W2752037999","https://openalex.org/W2911975679","https://openalex.org/W2963187563","https://openalex.org/W3046362536","https://openalex.org/W3081458930","https://openalex.org/W3105507374","https://openalex.org/W3137368745","https://openalex.org/W3193490601","https://openalex.org/W3200827252","https://openalex.org/W4246219036","https://openalex.org/W4302339081"],"related_works":["https://openalex.org/W2801835562","https://openalex.org/W1894813176","https://openalex.org/W2167502656","https://openalex.org/W4247218851","https://openalex.org/W2005739429","https://openalex.org/W2189162140","https://openalex.org/W36618599","https://openalex.org/W2047500271","https://openalex.org/W1967894521","https://openalex.org/W1974738809"],"abstract_inverted_index":{"Graphs":[0],"and":[1,9,56,70],"various":[2],"graph-like":[3],"combinatorial":[4],"structures,":[5],"such":[6],"as":[7],"preorders":[8],"hypergraphs,":[10],"are":[11,30],"ubiquitous":[12],"in":[13,21],"programming.":[14],"This":[15],"paper":[16],"focuses":[17],"on":[18,67],"representing":[19],"graphs":[20,55],"a":[22,72],"purely":[23],"functional":[24],"programming":[25],"language":[26],"like":[27],"Haskell.":[28],"There":[29],"several":[31],"existing":[32],"approaches;":[33],"one":[34],"of":[35,75],"the":[36,42],"most":[37],"recently":[38],"developed":[39],"ones":[40],"is":[41],"\"algebraic":[43],"graphs\"":[44],"approach":[45],"(2017).":[46],"It":[47],"uses":[48],"an":[49],"algebraic":[50],"data":[51],"type":[52],"to":[53,64],"represent":[54],"has":[57],"attracted":[58],"users,":[59],"including":[60],"from":[61],"industry,":[62],"due":[63],"its":[65],"emphasis":[66],"equational":[68],"reasoning":[69],"making":[71],"common":[73],"class":[74],"bugs":[76],"impossible":[77],"by":[78],"eliminating":[79],"internal":[80],"invariants.":[81]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2022,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2022-02-24T00:00:00"}