{"id":"https://openalex.org/W2077213360","doi":"https://doi.org/10.1145/1291151.1291156","title":"Program-ing finger trees in C oq","display_name":"Program-ing finger trees in C oq","publication_year":2007,"publication_date":"2007-10-01","ids":{"openalex":"https://openalex.org/W2077213360","doi":"https://doi.org/10.1145/1291151.1291156","mag":"2077213360"},"language":"en","primary_location":{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1291151.1291156","pdf_url":null,"source":null,"license":null,"version":null,"is_accepted":false,"is_published":false},"type":"article","type_crossref":"proceedings-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/A5065124885","display_name":"Matthieu Sozeau","orcid":null},"institutions":[{"id":"https://openalex.org/I102197404","display_name":"University of Paris-Sud","ror":"https://ror.org/028rypz17","country_code":"FR","type":"education","lineage":["https://openalex.org/I102197404"]},{"id":"https://openalex.org/I4210145102","display_name":"Institut Polytechnique de Paris","ror":"https://ror.org/042tfbd02","country_code":"FR","type":"education","lineage":["https://openalex.org/I4210145102"]},{"id":"https://openalex.org/I4210144804","display_name":"Laboratoire de Recherche en Informatique","ror":"https://ror.org/04e3ktk27","country_code":"FR","type":"facility","lineage":["https://openalex.org/I102197404","https://openalex.org/I1326498283","https://openalex.org/I4210144804","https://openalex.org/I4210159245"]}],"countries":["FR"],"is_corresponding":true,"raw_author_name":"Matthieu Sozeau","raw_affiliation_string":"LRI: Universit\u00e9 Paris Sud, Orsay, France","raw_affiliation_strings":["LRI: Universit\u00e9 Paris Sud, Orsay, France"]}],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5065124885"],"corresponding_institution_ids":["https://openalex.org/I102197404","https://openalex.org/I4210145102","https://openalex.org/I4210144804"],"apc_list":null,"apc_paid":null,"has_fulltext":false,"cited_by_count":33,"cited_by_percentile_year":{"min":92,"max":93},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"primary_topic":{"id":"https://openalex.org/T11269","display_name":"Text Compression and Indexing Algorithms","score":0.9948,"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/T11269","display_name":"Text Compression and Indexing Algorithms","score":0.9948,"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/T10126","display_name":"Program Analysis and Verification Techniques","score":0.9909,"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/T12002","display_name":"Computational Complexity and Algorithmic Information Theory","score":0.9892,"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"}}],"keywords":[{"keyword":"trees","score":0.3951},{"keyword":"finger","score":0.3015},{"keyword":"program-ing","score":0.25}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5100804}],"mesh":[],"locations_count":1,"locations":[{"is_oa":false,"landing_page_url":"https://doi.org/10.1145/1291151.1291156","pdf_url":null,"source":null,"license":null,"version":null,"is_accepted":false,"is_published":false}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.45,"display_name":"Industry, innovation and infrastructure","id":"https://metadata.un.org/sdg/9"}],"grants":[],"referenced_works_count":11,"referenced_works":["https://openalex.org/W1488927778","https://openalex.org/W1515423457","https://openalex.org/W1522049235","https://openalex.org/W1587012427","https://openalex.org/W1937180777","https://openalex.org/W1949275316","https://openalex.org/W1975736938","https://openalex.org/W1978871081","https://openalex.org/W2005192022","https://openalex.org/W2062887328","https://openalex.org/W2098037505"],"related_works":["https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W2358668433","https://openalex.org/W2376932109","https://openalex.org/W2382290278","https://openalex.org/W2350741829","https://openalex.org/W2130043461","https://openalex.org/W2530322880","https://openalex.org/W1596801655"],"ngrams_url":"https://api.openalex.org/works/W2077213360/ngrams","abstract_inverted_index":{"Finger":[0,54,69,102],"Trees":[1,70,103],"(Hinze":[2],"&":[3],"Paterson,":[4],"2006)":[5],"are":[6],"a":[7,20,33,65],"general":[8],"purpose":[9],"persistent":[10],"data":[11],"structure":[12,85],"with":[13],"good":[14],"performance.":[15],"Their":[16],"genericity":[17],"permits":[18],"developing":[19],"wealth":[21],"of":[22,32,53,60,68,78,101],"structures":[23,98],"like":[24],"ordered":[25],"sequences":[26],"or":[27],"interval":[28],"trees":[29],"on":[30,99],"top":[31,100],"single":[34],"implementation.":[35,62],"However,":[36],"the":[37,48,58,75,84,92],"type":[38],"systems":[39],"used":[40],"by":[41],"current":[42],"functional":[43],"languages":[44],"do":[45],"not":[46,81],"guarantee":[47],"coherent":[49],"parameterization":[50],"and":[51],"specialization":[52],"Trees,":[55],"let":[56],"alone":[57],"correctness":[59],"their":[61],"We":[63,80],"present":[64],"certified":[66,97],"implementation":[67],"solving":[71],"these":[72],"problems":[73],"using":[74],"Program":[76],"extension":[77],"Coq.":[79],"only":[82],"implement":[83],"but":[86],"also":[87],"prove":[88],"its":[89],"invariants":[90],"along":[91],"way,":[93],"which":[94],"permit":[95],"building":[96],"in":[104],"an":[105],"elegant":[106],"way.":[107]},"cited_by_api_url":"https://api.openalex.org/works?filter=cites:W2077213360","counts_by_year":[{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":2},{"year":2017,"cited_by_count":2},{"year":2014,"cited_by_count":1},{"year":2013,"cited_by_count":8},{"year":2012,"cited_by_count":4}],"updated_date":"2024-03-17T05:37:01.011002","created_date":"2016-06-24"}