{"id":"https://openalex.org/W2509193713","doi":"https://doi.org/10.1145/2951913.2951947","title":"String diagrams for free monads (functional pearl)","display_name":"String diagrams for free monads (functional pearl)","publication_year":2016,"publication_date":"2016-08-29","ids":{"openalex":"https://openalex.org/W2509193713","doi":"https://doi.org/10.1145/2951913.2951947","mag":"2509193713"},"language":"en","primary_location":{"id":"doi:10.1145/2951913.2951947","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2951913.2951947","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://research-information.bris.ac.uk/files/87127912/Nicolas_Wu_String_Diagrams_for_Free_Monads.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5044376589","display_name":"Maciej Pir\u00f3g","orcid":"https://orcid.org/0000-0002-5889-3388"},"institutions":[{"id":"https://openalex.org/I99464096","display_name":"KU Leuven","ror":"https://ror.org/05f950310","country_code":"BE","type":"education","lineage":["https://openalex.org/I99464096"]}],"countries":["BE"],"is_corresponding":true,"raw_author_name":"Maciej Pir\u00f3g","raw_affiliation_strings":["KU Leuven, Belgium"],"affiliations":[{"raw_affiliation_string":"KU Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5072641397","display_name":"Nicolas Wu","orcid":"https://orcid.org/0000-0002-4161-985X"},"institutions":[{"id":"https://openalex.org/I36234482","display_name":"University of Bristol","ror":"https://ror.org/0524sp257","country_code":"GB","type":"education","lineage":["https://openalex.org/I36234482"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Nicolas Wu","raw_affiliation_strings":["University of Bristol, UK"],"affiliations":[{"raw_affiliation_string":"University of Bristol, UK","institution_ids":["https://openalex.org/I36234482"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5044376589"],"corresponding_institution_ids":["https://openalex.org/I99464096"],"apc_list":null,"apc_paid":null,"fwci":0.4444,"has_fulltext":true,"cited_by_count":4,"citation_normalized_percentile":{"value":0.79238807,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":90,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"490","last_page":"501"},"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.9991000294685364,"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.9991000294685364,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9937000274658203,"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/T10181","display_name":"Natural Language Processing Techniques","score":0.993399977684021,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/pearl","display_name":"Pearl","score":0.7437872886657715},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6323200464248657},{"id":"https://openalex.org/keywords/string","display_name":"String (physics)","score":0.6060757040977478},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4442073404788971},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.39277416467666626},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.38750359416007996},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3872772455215454},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.270598828792572},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21558725833892822},{"id":"https://openalex.org/keywords/theoretical-physics","display_name":"Theoretical physics","score":0.17895349860191345},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10470634698867798}],"concepts":[{"id":"https://openalex.org/C2779251273","wikidata":"https://www.wikidata.org/wiki/Q43436","display_name":"Pearl","level":2,"score":0.7437872886657715},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6323200464248657},{"id":"https://openalex.org/C157486923","wikidata":"https://www.wikidata.org/wiki/Q1376436","display_name":"String (physics)","level":2,"score":0.6060757040977478},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4442073404788971},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.39277416467666626},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.38750359416007996},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3872772455215454},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.270598828792572},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21558725833892822},{"id":"https://openalex.org/C33332235","wikidata":"https://www.wikidata.org/wiki/Q18362","display_name":"Theoretical physics","level":1,"score":0.17895349860191345},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10470634698867798},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C199343813","wikidata":"https://www.wikidata.org/wiki/Q12128","display_name":"Dentistry","level":1,"score":0.0},{"id":"https://openalex.org/C27206212","wikidata":"https://www.wikidata.org/wiki/Q34178","display_name":"Theology","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.1145/2951913.2951947","is_oa":false,"landing_page_url":"https://doi.org/10.1145/2951913.2951947","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming","raw_type":"proceedings-article"},{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/9faeaedc-6edf-4946-b42c-4ad3aa0c8862","is_oa":true,"landing_page_url":"https://hdl.handle.net/1983/9faeaedc-6edf-4946-b42c-4ad3aa0c8862","pdf_url":"https://research-information.bris.ac.uk/files/87127912/Nicolas_Wu_String_Diagrams_for_Free_Monads.pdf","source":{"id":"https://openalex.org/S7407055359","display_name":"Explore Bristol Research","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Pirog, M & Wu, N 2016, String diagrams for free monads (functional pearl). in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016). Association for Computing Machinery, New York, NY, USA, pp. 490-501. https://doi.org/10.1145/2951913.2951947","raw_type":"contributionToPeriodical"},{"id":"pmh:oai:research-information.bris.ac.uk:publications/9faeaedc-6edf-4946-b42c-4ad3aa0c8862","is_oa":false,"landing_page_url":"https://research-information.bris.ac.uk/en/publications/9faeaedc-6edf-4946-b42c-4ad3aa0c8862","pdf_url":null,"source":{"id":"https://openalex.org/S4306400895","display_name":"Bristol Research (University of Bristol)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I36234482","host_organization_name":"University of Bristol","host_organization_lineage":["https://openalex.org/I36234482"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":""}],"best_oa_location":{"id":"pmh:oai:research-information.bris.ac.uk:openaire_cris_publications/9faeaedc-6edf-4946-b42c-4ad3aa0c8862","is_oa":true,"landing_page_url":"https://hdl.handle.net/1983/9faeaedc-6edf-4946-b42c-4ad3aa0c8862","pdf_url":"https://research-information.bris.ac.uk/files/87127912/Nicolas_Wu_String_Diagrams_for_Free_Monads.pdf","source":{"id":"https://openalex.org/S7407055359","display_name":"Explore Bristol Research","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Pirog, M & Wu, N 2016, String diagrams for free monads (functional pearl). in Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming (ICFP 2016). Association for Computing Machinery, New York, NY, USA, pp. 490-501. https://doi.org/10.1145/2951913.2951947","raw_type":"contributionToPeriodical"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2509193713.pdf","grobid_xml":"https://content.openalex.org/works/W2509193713.grobid-xml"},"referenced_works_count":29,"referenced_works":["https://openalex.org/W1516224330","https://openalex.org/W1536939176","https://openalex.org/W1606993440","https://openalex.org/W1608714802","https://openalex.org/W1657249808","https://openalex.org/W1755048877","https://openalex.org/W1764096108","https://openalex.org/W1888696459","https://openalex.org/W1980827618","https://openalex.org/W2020531742","https://openalex.org/W2022608773","https://openalex.org/W2061456508","https://openalex.org/W2079655821","https://openalex.org/W2102357532","https://openalex.org/W2102459565","https://openalex.org/W2143566245","https://openalex.org/W2148498831","https://openalex.org/W2182641640","https://openalex.org/W2256944772","https://openalex.org/W2585139899","https://openalex.org/W3099136629","https://openalex.org/W3105507374","https://openalex.org/W4291439952","https://openalex.org/W4399452208","https://openalex.org/W6634383297","https://openalex.org/W6637028070","https://openalex.org/W6637893012","https://openalex.org/W6685951975","https://openalex.org/W6829104167"],"related_works":["https://openalex.org/W4398771981","https://openalex.org/W4297824900","https://openalex.org/W2186798288","https://openalex.org/W2950290350","https://openalex.org/W761508262","https://openalex.org/W1507226244","https://openalex.org/W4248123049","https://openalex.org/W2355906410","https://openalex.org/W2067877771","https://openalex.org/W2368129521"],"abstract_inverted_index":{"We":[0,18],"show":[1],"how":[2],"one":[3],"can":[4],"reason":[5],"about":[6],"free":[7],"monads":[8],"using":[9],"their":[10],"universal":[11],"properties":[12],"rather":[13],"than":[14],"any":[15],"concrete":[16],"implementation.":[17],"introduce":[19],"a":[20],"graphical,":[21],"two-dimensional":[22],"calculus":[23],"tailor-made":[24],"to":[25],"accommodate":[26],"these":[27],"properties.":[28]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2023,"cited_by_count":2},{"year":2018,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2025-10-10T00:00:00"}