{"id":"https://openalex.org/W2057129259","doi":"https://doi.org/10.1145/1596550.1596553","title":"Commutative monads, diagrams and knots","display_name":"Commutative monads, diagrams and knots","publication_year":2009,"publication_date":"2009-08-31","ids":{"openalex":"https://openalex.org/W2057129259","doi":"https://doi.org/10.1145/1596550.1596553","mag":"2057129259"},"language":"en","primary_location":{"id":"doi:10.1145/1596550.1596553","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1596550.1596553","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM SIGPLAN international conference on Functional programming","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/A5079128144","display_name":"Dan P. Piponi","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Dan P. Piponi","raw_affiliation_strings":["Industrial Light & Magic, San Francisco, CA, USA"],"affiliations":[{"raw_affiliation_string":"Industrial Light & Magic, San Francisco, CA, USA","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5079128144"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.4362,"has_fulltext":false,"cited_by_count":4,"citation_normalized_percentile":{"value":0.72105796,"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":"231","last_page":"232"},"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.9919000267982483,"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.9919000267982483,"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/T10622","display_name":"Quantum Mechanics and Applications","score":0.9810000061988831,"subfield":{"id":"https://openalex.org/subfields/3107","display_name":"Atomic and Molecular Physics, and Optics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10682","display_name":"Quantum Computing Algorithms and Architecture","score":0.9781000018119812,"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/haskell","display_name":"Haskell","score":0.7375882863998413},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6463538408279419},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5315259099006653},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.498384952545166},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.44227325916290283},{"id":"https://openalex.org/keywords/commutative-property","display_name":"Commutative property","score":0.4390804171562195},{"id":"https://openalex.org/keywords/algebra-over-a-field","display_name":"Algebra over a field","score":0.3752366304397583},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.3151591718196869},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.24579080939292908},{"id":"https://openalex.org/keywords/pure-mathematics","display_name":"Pure mathematics","score":0.21210163831710815}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.7375882863998413},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6463538408279419},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5315259099006653},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.498384952545166},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.44227325916290283},{"id":"https://openalex.org/C183778304","wikidata":"https://www.wikidata.org/wiki/Q165474","display_name":"Commutative property","level":2,"score":0.4390804171562195},{"id":"https://openalex.org/C136119220","wikidata":"https://www.wikidata.org/wiki/Q1000660","display_name":"Algebra over a field","level":2,"score":0.3752366304397583},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3151591718196869},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.24579080939292908},{"id":"https://openalex.org/C202444582","wikidata":"https://www.wikidata.org/wiki/Q837863","display_name":"Pure mathematics","level":1,"score":0.21210163831710815}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/1596550.1596553","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1596550.1596553","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 14th ACM SIGPLAN international conference on Functional programming","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.5600000023841858,"display_name":"Quality Education","id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":3,"referenced_works":["https://openalex.org/W1614846604","https://openalex.org/W1640543104","https://openalex.org/W4243603645"],"related_works":["https://openalex.org/W2112263414","https://openalex.org/W3004782279","https://openalex.org/W1602185604","https://openalex.org/W2028779182","https://openalex.org/W1975276861","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W2132325017","https://openalex.org/W1671914757","https://openalex.org/W1966969028"],"abstract_inverted_index":{"There":[0],"is":[1,8,24,71],"certain":[2],"diverse":[3],"class":[4],"of":[5,13,15,31,74,98,108,110,130],"diagram":[6],"that":[7],"found":[9],"in":[10,161],"a":[11,25,64,75,106,141,152,158],"variety":[12],"branches":[14],"mathematics":[16],"and":[17,55,78,116,149,164],"which":[18],"all":[19,30],"share":[20],"this":[21,86],"property:":[22],"there":[23],"common":[26,65],"scheme":[27],"for":[28,49,100],"translating":[29],"these":[32,69,90],"diagrams":[33,39,48,54,58,70,91],"into":[34,93,144],"useful":[35],"functional":[36,153],"code.":[37],"These":[38],"include":[40],"Bayesian":[41,124],"networks,":[42],"quantum":[43],"computer":[44],"circuits":[45],"[1],":[46],"trace":[47],"multilinear":[50],"algebra":[51],"[2],":[52],"Feynman":[53],"even":[56],"knot":[57],"[3].":[59],"I":[60,79,102,137],"will":[61,80,103],"show":[62,81,105],"how":[63,82,151],"thread":[66],"lying":[67],"behind":[68],"the":[72,127,135,145],"presence":[73],"commutative":[76],"monad":[77],"we":[83],"can":[84,156],"use":[85,97,117],"fact":[87],"to":[88,119,126,139],"translate":[89],"directly":[92],"Haskell":[94],"code":[95,113],"making":[96],"do-notation":[99],"monads.":[101],"also":[104],"number":[107],"examples":[109],"such":[111],"translated":[112],"at":[114],"work":[115],"it":[118],"solve":[120],"problems":[121],"ranging":[122],"from":[123],"inference":[125],"topological":[128],"problem":[129],"untangling":[131],"tangled":[132],"strings.":[133],"Along":[134],"way":[136],"hope":[138],"give":[140],"little":[142],"insight":[143],"subjects":[146],"mentioned":[147],"above":[148],"illustrate":[150],"programming":[154],"language":[155],"be":[157],"valuable":[159],"tool":[160],"mathematical":[162],"research":[163],"experimentation.":[165]},"counts_by_year":[{"year":2023,"cited_by_count":2},{"year":2015,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}