{"id":"https://openalex.org/W2931799723","doi":"https://doi.org/10.1007/978-3-030-17184-1_5","title":"Codata in Action","display_name":"Codata in Action","publication_year":2019,"publication_date":"2019-01-01","ids":{"openalex":"https://openalex.org/W2931799723","doi":"https://doi.org/10.1007/978-3-030-17184-1_5","mag":"2931799723"},"language":"en","primary_location":{"id":"doi:10.1007/978-3-030-17184-1_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17184-1_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17184-1_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"hybrid","oa_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17184-1_5.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5020454182","display_name":"Paul Downen","orcid":"https://orcid.org/0000-0003-0165-9387"},"institutions":[{"id":"https://openalex.org/I181233156","display_name":"University of Oregon","ror":"https://ror.org/0293rh119","country_code":"US","type":"education","lineage":["https://openalex.org/I181233156"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Paul Downen","raw_affiliation_strings":["University of Oregon, Eugene, USA"],"affiliations":[{"raw_affiliation_string":"University of Oregon, Eugene, USA","institution_ids":["https://openalex.org/I181233156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5076947509","display_name":"Zachary Sullivan","orcid":"https://orcid.org/0000-0003-3023-1996"},"institutions":[{"id":"https://openalex.org/I181233156","display_name":"University of Oregon","ror":"https://ror.org/0293rh119","country_code":"US","type":"education","lineage":["https://openalex.org/I181233156"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zachary Sullivan","raw_affiliation_strings":["University of Oregon, Eugene, USA"],"affiliations":[{"raw_affiliation_string":"University of Oregon, Eugene, USA","institution_ids":["https://openalex.org/I181233156"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5064696313","display_name":"Zena M. Ariola","orcid":"https://orcid.org/0000-0001-5551-8294"},"institutions":[{"id":"https://openalex.org/I181233156","display_name":"University of Oregon","ror":"https://ror.org/0293rh119","country_code":"US","type":"education","lineage":["https://openalex.org/I181233156"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Zena M. Ariola","raw_affiliation_strings":["University of Oregon, Eugene, USA"],"affiliations":[{"raw_affiliation_string":"University of Oregon, Eugene, USA","institution_ids":["https://openalex.org/I181233156"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5027817074","display_name":"Simon Peyton Jones","orcid":"https://orcid.org/0000-0002-6085-1435"},"institutions":[{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Simon Peyton\u00a0Jones","raw_affiliation_strings":["Microsoft Research, Cambridge, UK"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, Cambridge, UK","institution_ids":["https://openalex.org/I4210164937"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":["https://openalex.org/A5020454182"],"corresponding_institution_ids":["https://openalex.org/I181233156"],"apc_list":{"value":5000,"currency":"EUR","value_usd":5392},"apc_paid":{"value":5000,"currency":"EUR","value_usd":5392},"fwci":1.3787,"has_fulltext":true,"cited_by_count":8,"citation_normalized_percentile":{"value":0.83233568,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"119","last_page":"146"},"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.9998999834060669,"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.9998999834060669,"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.9976999759674072,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9973000288009644,"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/action","display_name":"Action (physics)","score":0.5756418108940125},{"id":"https://openalex.org/keywords/political-science","display_name":"Political science","score":0.4501892030239105},{"id":"https://openalex.org/keywords/psychology","display_name":"Psychology","score":0.3244588375091553},{"id":"https://openalex.org/keywords/physics","display_name":"Physics","score":0.10922306776046753}],"concepts":[{"id":"https://openalex.org/C2780791683","wikidata":"https://www.wikidata.org/wiki/Q846785","display_name":"Action (physics)","level":2,"score":0.5756418108940125},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.4501892030239105},{"id":"https://openalex.org/C15744967","wikidata":"https://www.wikidata.org/wiki/Q9418","display_name":"Psychology","level":0,"score":0.3244588375091553},{"id":"https://openalex.org/C121332964","wikidata":"https://www.wikidata.org/wiki/Q413","display_name":"Physics","level":0,"score":0.10922306776046753},{"id":"https://openalex.org/C62520636","wikidata":"https://www.wikidata.org/wiki/Q944","display_name":"Quantum mechanics","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1007/978-3-030-17184-1_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17184-1_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17184-1_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"}],"best_oa_location":{"id":"doi:10.1007/978-3-030-17184-1_5","is_oa":true,"landing_page_url":"https://doi.org/10.1007/978-3-030-17184-1_5","pdf_url":"https://link.springer.com/content/pdf/10.1007%2F978-3-030-17184-1_5.pdf","source":{"id":"https://openalex.org/S106296714","display_name":"Lecture notes in computer science","issn_l":"0302-9743","issn":["0302-9743","1611-3349"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319900","host_organization_name":"Springer Science+Business Media","host_organization_lineage":["https://openalex.org/P4310319900","https://openalex.org/P4310319965"],"host_organization_lineage_names":["Springer Science+Business Media","Springer Nature"],"type":"book series"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Lecture Notes in Computer Science","raw_type":"book-chapter"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G1813656873","display_name":null,"funder_award_id":"CCF-1423617","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G3883937915","display_name":null,"funder_award_id":"1719158","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G5900863633","display_name":null,"funder_award_id":"1423617","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"},{"id":"https://openalex.org/G848032724","display_name":null,"funder_award_id":"Science","funder_id":"https://openalex.org/F4320306076","funder_display_name":"National Science Foundation"}],"funders":[{"id":"https://openalex.org/F4320306076","display_name":"National Science Foundation","ror":"https://ror.org/021nxhr62"}],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2931799723.pdf","grobid_xml":"https://content.openalex.org/works/W2931799723.grobid-xml"},"referenced_works_count":49,"referenced_works":["https://openalex.org/W40564209","https://openalex.org/W80605743","https://openalex.org/W129833001","https://openalex.org/W1511982475","https://openalex.org/W1513579486","https://openalex.org/W1557561422","https://openalex.org/W1559059528","https://openalex.org/W1625481196","https://openalex.org/W1738264400","https://openalex.org/W1760139041","https://openalex.org/W1803100400","https://openalex.org/W1987624682","https://openalex.org/W1999662942","https://openalex.org/W2007270285","https://openalex.org/W2016326123","https://openalex.org/W2053198071","https://openalex.org/W2057670587","https://openalex.org/W2069380956","https://openalex.org/W2070324762","https://openalex.org/W2074592053","https://openalex.org/W2082043541","https://openalex.org/W2083239590","https://openalex.org/W2085014646","https://openalex.org/W2085552917","https://openalex.org/W2089241138","https://openalex.org/W2095219277","https://openalex.org/W2095436832","https://openalex.org/W2103094658","https://openalex.org/W2112022010","https://openalex.org/W2112417591","https://openalex.org/W2134699386","https://openalex.org/W2144747140","https://openalex.org/W2154044723","https://openalex.org/W2160728467","https://openalex.org/W2186501980","https://openalex.org/W2226740143","https://openalex.org/W2518300910","https://openalex.org/W2592977449","https://openalex.org/W2761091821","https://openalex.org/W2886328560","https://openalex.org/W2911865844","https://openalex.org/W3006524471","https://openalex.org/W3009278385","https://openalex.org/W3014311131","https://openalex.org/W3033845441","https://openalex.org/W3157431840","https://openalex.org/W4241907611","https://openalex.org/W4245021137","https://openalex.org/W4302984605"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2978862106","https://openalex.org/W2486048464","https://openalex.org/W2463704645","https://openalex.org/W2013616427","https://openalex.org/W3014042426","https://openalex.org/W2801686790","https://openalex.org/W2300032333","https://openalex.org/W2602407911"],"abstract_inverted_index":{"Computer":[0],"scientists":[1],"are":[2],"well-versed":[3],"in":[4,23,81],"dealing":[5],"with":[6],"data":[7,102],"structures.":[8],"The":[9],"same":[10],"cannot":[11],"be":[12,91],"said":[13],"about":[14],"their":[15],"dual:":[16],"codata.":[17,104],"Even":[18],"though":[19],"codata":[20,33,54,77,89,107],"is":[21,48,78,108],"pervasive":[22],"category":[24],"theory,":[25],"universal":[26],"algebra,":[27],"and":[28,44,72,94,103,115],"logic,":[29],"the":[30,51,113,123,129],"use":[31],"of":[32,53,61],"for":[34],"programming":[35,58,83],"has":[36],"been":[37],"mainly":[38],"relegated":[39],"to":[40,49,121,126],"representing":[41],"infinite":[42],"objects":[43],"processes.":[45],"Our":[46],"goal":[47],"demonstrate":[50],"benefits":[52],"as":[55],"a":[56,109],"general-purpose":[57],"abstraction":[59],"independent":[60],"any":[62],"specific":[63],"language:":[64],"eager":[65],"or":[66,69,74],"lazy,":[67],"statically":[68],"dynamically":[70],"typed,":[71],"functional":[73,114],"object-oriented.":[75],"While":[76],"not":[79],"featured":[80],"many":[82],"languages":[84],"today,":[85],"we":[86,119],"show":[87],"how":[88],"can":[90],"easily":[92],"adopted":[93],"implemented":[95],"by":[96],"offering":[97],"simple":[98],"inter-compilation":[99],"techniques":[100],"between":[101,112],"We":[105],"believe":[106],"common":[110],"ground":[111],"object-oriented":[116],"paradigms;":[117],"ultimately,":[118],"hope":[120],"utilize":[122],"Curry-Howard":[124],"isomorphism":[125],"further":[127],"bridge":[128],"gap.":[130]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2024,"cited_by_count":2},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2}],"updated_date":"2026-03-18T14:38:29.013473","created_date":"2019-04-11T00:00:00"}