{"id":"https://openalex.org/W2591203006","doi":"https://doi.org/10.1017/s095679681700003x","title":"Call-by-name extensionality and confluence","display_name":"Call-by-name extensionality and confluence","publication_year":2017,"publication_date":"2017-01-01","ids":{"openalex":"https://openalex.org/W2591203006","doi":"https://doi.org/10.1017/s095679681700003x","mag":"2591203006"},"language":"en","primary_location":{"id":"doi:10.1017/s095679681700003x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s095679681700003x","pdf_url":null,"source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-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/A5049510187","display_name":"Philip Johnson-Freyd","orcid":"https://orcid.org/0000-0001-5973-0671"},"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":"PHILIP JOHNSON-FREYD","raw_affiliation_strings":["University of Oregon, Eugene, Oregon, USA (e-mails:","University Of Oregon"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oregon, Eugene, Oregon, USA (e-mails:","institution_ids":["https://openalex.org/I181233156"]},{"raw_affiliation_string":"University Of Oregon","institution_ids":["https://openalex.org/I181233156"]}]},{"author_position":"middle","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":false,"raw_author_name":"PAUL DOWNEN","raw_affiliation_strings":["University of Oregon, Eugene, Oregon, USA (e-mails:","University Of Oregon"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oregon, Eugene, Oregon, USA (e-mails:","institution_ids":["https://openalex.org/I181233156"]},{"raw_affiliation_string":"University Of Oregon","institution_ids":["https://openalex.org/I181233156"]}]},{"author_position":"last","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, Oregon, USA (e-mails:","University Of Oregon"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Oregon, Eugene, Oregon, USA (e-mails:","institution_ids":["https://openalex.org/I181233156"]},{"raw_affiliation_string":"University Of Oregon","institution_ids":["https://openalex.org/I181233156"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5049510187"],"corresponding_institution_ids":["https://openalex.org/I181233156"],"apc_list":null,"apc_paid":null,"fwci":0.2079,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.61608602,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":94},"biblio":{"volume":"27","issue":null,"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.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/T10142","display_name":"Formal Methods in Verification","score":0.9933000206947327,"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"}},{"id":"https://openalex.org/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9735000133514404,"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/extensionality","display_name":"Extensionality","score":0.9785035848617554},{"id":"https://openalex.org/keywords/confluence","display_name":"Confluence","score":0.9623944163322449},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.7567259073257446},{"id":"https://openalex.org/keywords/rewriting","display_name":"Rewriting","score":0.682902991771698},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.6612857580184937},{"id":"https://openalex.org/keywords/sequent","display_name":"Sequent","score":0.614772617816925},{"id":"https://openalex.org/keywords/extensional-definition","display_name":"Extensional definition","score":0.6137034893035889},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5099297761917114},{"id":"https://openalex.org/keywords/continuation","display_name":"Continuation","score":0.49958038330078125},{"id":"https://openalex.org/keywords/reduction","display_name":"Reduction (mathematics)","score":0.46626314520835876},{"id":"https://openalex.org/keywords/calculus","display_name":"Calculus (dental)","score":0.361972451210022},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22723045945167542}],"concepts":[{"id":"https://openalex.org/C150355047","wikidata":"https://www.wikidata.org/wiki/Q965432","display_name":"Extensionality","level":2,"score":0.9785035848617554},{"id":"https://openalex.org/C77906462","wikidata":"https://www.wikidata.org/wiki/Q1140902","display_name":"Confluence","level":2,"score":0.9623944163322449},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7567259073257446},{"id":"https://openalex.org/C154690210","wikidata":"https://www.wikidata.org/wiki/Q1668499","display_name":"Rewriting","level":2,"score":0.682902991771698},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.6612857580184937},{"id":"https://openalex.org/C89421646","wikidata":"https://www.wikidata.org/wiki/Q843632","display_name":"Sequent","level":2,"score":0.614772617816925},{"id":"https://openalex.org/C136137745","wikidata":"https://www.wikidata.org/wiki/Q19515659","display_name":"Extensional definition","level":3,"score":0.6137034893035889},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5099297761917114},{"id":"https://openalex.org/C88626702","wikidata":"https://www.wikidata.org/wiki/Q1128903","display_name":"Continuation","level":2,"score":0.49958038330078125},{"id":"https://openalex.org/C111335779","wikidata":"https://www.wikidata.org/wiki/Q3454686","display_name":"Reduction (mathematics)","level":2,"score":0.46626314520835876},{"id":"https://openalex.org/C2777686260","wikidata":"https://www.wikidata.org/wiki/Q144037","display_name":"Calculus (dental)","level":2,"score":0.361972451210022},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22723045945167542},{"id":"https://openalex.org/C2524010","wikidata":"https://www.wikidata.org/wiki/Q8087","display_name":"Geometry","level":1,"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/C77928131","wikidata":"https://www.wikidata.org/wiki/Q193343","display_name":"Tectonics","level":2,"score":0.0},{"id":"https://openalex.org/C71924100","wikidata":"https://www.wikidata.org/wiki/Q11190","display_name":"Medicine","level":0,"score":0.0},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1017/s095679681700003x","is_oa":false,"landing_page_url":"https://doi.org/10.1017/s095679681700003x","pdf_url":null,"source":{"id":"https://openalex.org/S12266929","display_name":"Journal of Functional Programming","issn_l":"0956-7968","issn":["0956-7968","1469-7653"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310311721","host_organization_name":"Cambridge University Press","host_organization_lineage":["https://openalex.org/P4310311721","https://openalex.org/P4310311702"],"host_organization_lineage_names":["Cambridge University Press","University of Cambridge"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Journal of Functional Programming","raw_type":"journal-article"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/4","score":0.5600000023841858,"display_name":"Quality Education"}],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":21,"referenced_works":["https://openalex.org/W129833001","https://openalex.org/W605236542","https://openalex.org/W1583148541","https://openalex.org/W1586093680","https://openalex.org/W1788985626","https://openalex.org/W1911436531","https://openalex.org/W1969661839","https://openalex.org/W1975575519","https://openalex.org/W1985736127","https://openalex.org/W1995963173","https://openalex.org/W2006607295","https://openalex.org/W2008920425","https://openalex.org/W2016326123","https://openalex.org/W2040871029","https://openalex.org/W2062436529","https://openalex.org/W2076577093","https://openalex.org/W2088735483","https://openalex.org/W2095451697","https://openalex.org/W2149412346","https://openalex.org/W2154273644","https://openalex.org/W2160646753"],"related_works":["https://openalex.org/W2591203006","https://openalex.org/W1559970946","https://openalex.org/W1973000567","https://openalex.org/W27254708","https://openalex.org/W206478063","https://openalex.org/W2498166085","https://openalex.org/W1487998695","https://openalex.org/W4387560405","https://openalex.org/W2922343235","https://openalex.org/W2996400411"],"abstract_inverted_index":{"Abstract":[0],"Designing":[1],"rewriting":[2,58],"systems":[3],"that":[4,46],"respect":[5],"functional":[6,56],"extensionality":[7],"for":[8,59,74,87],"call-by-name":[9,55],"languages":[10],"with":[11],"effects":[12],"turns":[13],"out":[14],"to":[15,82],"be":[16],"surprisingly":[17],"challenging.":[18],"Simply":[19],"interpreting":[20],"extensional":[21,76],"laws":[22],"like":[23],"\u03b7":[24],"as":[25],"reduction":[26,72],"rules":[27],"easily":[28],"breaks":[29],"confluence.":[30],"We":[31],"explore":[32],"these":[33],"issues":[34],"in":[35,48],"the":[36,52],"setting":[37],"of":[38,51,54],"a":[39,70],"sequent":[40],"calculus.":[41],"Building":[42],"on":[43],"an":[44],"insight":[45],"appears":[47],"different":[49],"aspects":[50],"theory":[53],"languages\u2014confluent":[57],"two":[60],"independent":[61],"control":[62],"calculi":[63],"and":[64,90],"sound":[65],"continuation-passing":[66],"style":[67],"transformations\u2014we":[68],"give":[69],"confluent":[71],"system":[73],"lazy":[75],"functions.":[77,93],"Finally,":[78],"we":[79],"consider":[80],"limitations":[81],"this":[83],"approach":[84],"when":[85],"used":[86],"strict":[88],"evaluation":[89],"types":[91],"beyond":[92]},"counts_by_year":[{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-23T06:14:38.165362","created_date":"2025-10-10T00:00:00"}