{"id":"https://openalex.org/W4392389988","doi":"https://doi.org/10.22152/programming-journal.org/2024/8/9","title":"Let a Thousand Flowers Bloom","display_name":"Let a Thousand Flowers Bloom","publication_year":2024,"publication_date":"2024-02-15","ids":{"openalex":"https://openalex.org/W4392389988","doi":"https://doi.org/10.22152/programming-journal.org/2024/8/9"},"language":"en","primary_location":{"id":"doi:10.22152/programming-journal.org/2024/8/9","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2024/8/9","pdf_url":"https://arxiv.org/pdf/2403.02273.pdf","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/2403.02273.pdf","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5004851201","display_name":"Jack Liell-Cock","orcid":"https://orcid.org/0009-0005-7121-8095"},"institutions":[{"id":"https://openalex.org/I40120149","display_name":"University of Oxford","ror":"https://ror.org/052gg0110","country_code":"GB","type":"education","lineage":["https://openalex.org/I40120149"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Jack Liell-Cock","raw_affiliation_strings":["University of Oxford, United Kingdom"],"affiliations":[{"raw_affiliation_string":"University of Oxford, United Kingdom","institution_ids":["https://openalex.org/I40120149"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5050247934","display_name":"Tom Schrijvers","orcid":"https://orcid.org/0000-0001-8771-5559"},"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":"Tom Schrijvers","raw_affiliation_strings":["KU Leuven, Belgium"],"affiliations":[{"raw_affiliation_string":"KU Leuven, Belgium","institution_ids":["https://openalex.org/I99464096"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":["https://openalex.org/A5050247934"],"corresponding_institution_ids":["https://openalex.org/I99464096"],"apc_list":null,"apc_paid":null,"fwci":0.3544,"has_fulltext":true,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61526534,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":91,"max":95},"biblio":{"volume":"8","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.39430001378059387,"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.39430001378059387,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.12150000035762787,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"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.0649000033736229,"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/bloom","display_name":"Bloom","score":0.8366755247116089},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.34321919083595276},{"id":"https://openalex.org/keywords/biology","display_name":"Biology","score":0.27792102098464966},{"id":"https://openalex.org/keywords/ecology","display_name":"Ecology","score":0.06787294149398804}],"concepts":[{"id":"https://openalex.org/C155567681","wikidata":"https://www.wikidata.org/wiki/Q2987425","display_name":"Bloom","level":2,"score":0.8366755247116089},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.34321919083595276},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.27792102098464966},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.06787294149398804}],"mesh":[],"locations_count":3,"locations":[{"id":"doi:10.22152/programming-journal.org/2024/8/9","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2024/8/9","pdf_url":"https://arxiv.org/pdf/2403.02273.pdf","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:2403.02273","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2403.02273","pdf_url":"https://arxiv.org/pdf/2403.02273","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:lirias2repo.kuleuven.be:20.500.12942/741364","is_oa":true,"landing_page_url":"https://lirias.kuleuven.be/handle/20.500.12942/741364","pdf_url":"https://lirias.kuleuven.be/retrieve/d30a17a3-2839-4c3f-81c4-26522a169d23","source":{"id":"https://openalex.org/S4306401954","display_name":"Lirias (KU Leuven)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I99464096","host_organization_name":"KU Leuven","host_organization_lineage":["https://openalex.org/I99464096"],"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":"The Art, Science, and Engineering of Programming, vol. 8 (3), Art.No. 9","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.22152/programming-journal.org/2024/8/9","is_oa":true,"landing_page_url":"https://doi.org/10.22152/programming-journal.org/2024/8/9","pdf_url":"https://arxiv.org/pdf/2403.02273.pdf","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/2","score":0.44999998807907104,"display_name":"Zero hunger"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320321730","display_name":"Fonds Wetenschappelijk Onderzoek","ror":"https://ror.org/03qtxy027"}],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4392389988.pdf","grobid_xml":"https://content.openalex.org/works/W4392389988.grobid-xml"},"referenced_works_count":12,"referenced_works":["https://openalex.org/W1995618084","https://openalex.org/W2060072995","https://openalex.org/W2074556793","https://openalex.org/W2080726204","https://openalex.org/W2123092976","https://openalex.org/W2139247070","https://openalex.org/W2751199924","https://openalex.org/W4210717130","https://openalex.org/W4210839962","https://openalex.org/W4213212286","https://openalex.org/W4246394701","https://openalex.org/W4296959565"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2092607752","https://openalex.org/W2525844104","https://openalex.org/W1758548338","https://openalex.org/W3040729212","https://openalex.org/W138344113","https://openalex.org/W2769490759","https://openalex.org/W2270080605","https://openalex.org/W2390279801","https://openalex.org/W3204773751"],"abstract_inverted_index":{"Context":[0],"Edge":[1],"graphs":[2,4],"are":[3,7,19,64,152],"whose":[5],"edges":[6,16],"labelled":[8],"with":[9,30,58,110],"identifiers,":[10],"and":[11,36,81,91,100,107,129,138,179,189],"nodes":[12],"can":[13,173],"have":[14],"multiple":[15],"between":[17],"them.They":[18],"used":[20],"to":[21,67,134,155],"model":[22],"a":[23,71,102,163],"wide":[24],"range":[25],"of":[26,34,43,104,181],"systems,":[27],"including":[28],"networks":[29],"distances":[31],"or":[32,61],"degrees":[33],"connection":[35],"complex":[37],"relational":[38],"data.Inquiry":[39],"Unfortunately,":[40],"the":[41,62,145,167,182],"homogeneity":[42],"this":[44],"graph":[45,150,169],"structure":[46],"prevents":[47,85],"an":[48,97,123],"effective":[49],"representation":[50,183],"in":[51,158],"(functional)":[52],"programs.Either":[53],"their":[54],"interface":[55],"is":[56],"riddled":[57],"partial":[59,89],"functions,":[60],"representations":[63],"computationally":[65],"inefficient":[66],"process.Approach":[68],"We":[69,143],"present":[70],"novel":[72],"data":[73,127,170],"type":[74],"for":[75,136,166],"edge":[76,141,168],"graphs,":[77],"based":[78],"on":[79],"total":[80],"recursive":[82,94],"definitions,":[83],"that":[84,113,147],"usage":[86,187],"errors":[87,188],"from":[88],"APIs":[90],"promotes":[92],"structurally":[93],"computations.We":[95],"follow":[96],"algebraic":[98,126],"approach":[99],"provide":[101],"set":[103],"primitive":[105],"constructors":[106],"combinators,":[108],"along":[109],"equational":[111],"laws":[112],"identify":[114],"semantically":[115],"equivalent":[116],"constructions.Knowledge":[117],"This":[118],"algebra":[119],"translates":[120],"directly":[121],"into":[122],"implementation":[124],"using":[125],"types,":[128],"its":[130],"homomorphisms":[131,154],"give":[132],"rise":[133],"functions":[135],"manipulating":[137],"transforming":[139],"these":[140],"graphs.Grounding":[142],"exploit":[144],"fact":[146],"many":[148],"common":[149],"algorithms":[151],"such":[153,176],"implement":[156],"them":[157],"our":[159],"framework.Importance":[160],"In":[161],"giving":[162],"theoretical":[164],"grounding":[165],"type,":[171],"we":[172],"formalise":[174],"properties":[175],"as":[177],"soundness":[178],"completeness":[180],"while":[184],"also":[185],"minimising":[186],"maximising":[190],"re-usability.":[191]},"counts_by_year":[{"year":2025,"cited_by_count":1}],"updated_date":"2026-03-20T23:20:44.827607","created_date":"2024-03-05T00:00:00"}