{"id":"https://openalex.org/W2101443478","doi":"https://doi.org/10.1017/s095679681200024x","title":"The impact of higher-order state and control effects on local relational reasoning","display_name":"The impact of higher-order state and control effects on local relational reasoning","publication_year":2012,"publication_date":"2012-08-15","ids":{"openalex":"https://openalex.org/W2101443478","doi":"https://doi.org/10.1017/s095679681200024x","mag":"2101443478"},"language":"en","primary_location":{"id":"doi:10.1017/s095679681200024x","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s095679681200024x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DA921680527426F49ED79644C8C6A565/S095679681200024Xa.pdf/div-class-title-the-impact-of-higher-order-state-and-control-effects-on-local-relational-reasoning-div.pdf","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":true,"oa_status":"bronze","oa_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DA921680527426F49ED79644C8C6A565/S095679681200024Xa.pdf/div-class-title-the-impact-of-higher-order-state-and-control-effects-on-local-relational-reasoning-div.pdf","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5050585539","display_name":"Derek Dreyer","orcid":"https://orcid.org/0000-0002-3884-6867"},"institutions":[{"id":"https://openalex.org/I149899117","display_name":"Max Planck Society","ror":"https://ror.org/01hhn8329","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I149899117"]},{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"DEREK DREYER","raw_affiliation_strings":["Max Planck Institute for Software Systems (MPI-SWS) (e-mail:","Max planck institute for software systems (mpi-sws) (e-mail: dreyer@mpi-sws.org, neis@mpi-sws.org)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems (MPI-SWS) (e-mail:","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"Max planck institute for software systems (mpi-sws) (e-mail: dreyer@mpi-sws.org, neis@mpi-sws.org)#TAB#","institution_ids":["https://openalex.org/I149899117"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5025236836","display_name":"Georg Neis","orcid":null},"institutions":[{"id":"https://openalex.org/I149899117","display_name":"Max Planck Society","ror":"https://ror.org/01hhn8329","country_code":"DE","type":"nonprofit","lineage":["https://openalex.org/I149899117"]},{"id":"https://openalex.org/I4210121786","display_name":"Max Planck Institute for Software Systems","ror":"https://ror.org/02pe2kf23","country_code":"DE","type":"facility","lineage":["https://openalex.org/I149899117","https://openalex.org/I4210121786"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"GEORG NEIS","raw_affiliation_strings":["Max Planck Institute for Software Systems (MPI-SWS) (e-mail:","Max planck institute for software systems (mpi-sws) (e-mail: dreyer@mpi-sws.org, neis@mpi-sws.org)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems (MPI-SWS) (e-mail:","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"Max planck institute for software systems (mpi-sws) (e-mail: dreyer@mpi-sws.org, neis@mpi-sws.org)#TAB#","institution_ids":["https://openalex.org/I149899117"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5055959064","display_name":"Lars Birkedal","orcid":"https://orcid.org/0000-0003-1320-0098"},"institutions":[{"id":"https://openalex.org/I83467386","display_name":"IT University of Copenhagen","ror":"https://ror.org/02309jg23","country_code":"DK","type":"education","lineage":["https://openalex.org/I83467386"]}],"countries":["DK"],"is_corresponding":false,"raw_author_name":"LARS BIRKEDAL","raw_affiliation_strings":["IT University of Copenhagen (e-mail:","It university of copenhagen (e-mail: birkedal@itu.dk)#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"IT University of Copenhagen (e-mail:","institution_ids":["https://openalex.org/I83467386"]},{"raw_affiliation_string":"It university of copenhagen (e-mail: birkedal@itu.dk)#TAB#","institution_ids":["https://openalex.org/I83467386"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.7497,"has_fulltext":true,"cited_by_count":72,"citation_normalized_percentile":{"value":0.95947051,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":99},"biblio":{"volume":"22","issue":"4-5","first_page":"477","last_page":"528"},"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.991599977016449,"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.991599977016449,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9894000291824341,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9864000082015991,"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/computer-science","display_name":"Computer science","score":0.86957848072052},{"id":"https://openalex.org/keywords/control","display_name":"Control (management)","score":0.5740235447883606},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.5402436256408691},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.5163901448249817},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2654181718826294},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.1964513659477234}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.86957848072052},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.5740235447883606},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.5402436256408691},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.5163901448249817},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2654181718826294},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.1964513659477234},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0}],"mesh":[],"locations_count":9,"locations":[{"id":"doi:10.1017/s095679681200024x","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s095679681200024x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DA921680527426F49ED79644C8C6A565/S095679681200024Xa.pdf/div-class-title-the-impact-of-higher-order-state-and-control-effects-on-local-relational-reasoning-div.pdf","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"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.193.725","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.193.725","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.it-c.dk/%7Ebirkedal/papers/stslr-conf.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.220.7538","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.220.7538","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.itu.dk/%7Ebirkedal/papers/stslr-journal.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.296.7301","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.7301","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.mpi-sws.org/~dreyer/papers/stslr/journal.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.296.8203","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.296.8203","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.mpi-sws.org/~dreyer/papers/stslr/icfp.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.359.7320","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.359.7320","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.it-c.dk/%7Ebirkedal/papers/stslr-journal.pdf","raw_type":"text"},{"id":"pmh:oai:escidoc.org:escidoc:2173253","is_oa":false,"landing_page_url":"http://hdl.handle.net/11858/00-001M-0000-0028-5A50-7","pdf_url":null,"source":{"id":"https://openalex.org/S7407052962","display_name":"Max Planck Digital Library","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/article"},{"id":"pmh:oai:escidoc.org:escidoc:2173368","is_oa":false,"landing_page_url":"http://hdl.handle.net/11858/00-001M-0000-0028-8BA5-6","pdf_url":null,"source":{"id":"https://openalex.org/S7407052962","display_name":"Max Planck Digital Library","issn_l":null,"issn":[],"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:pure.atira.dk:publications/1a49105f-91fc-4903-939a-9a78702f0419","is_oa":false,"landing_page_url":"https://pure.itu.dk/portal/da/publications/1a49105f-91fc-4903-939a-9a78702f0419","pdf_url":null,"source":{"id":"https://openalex.org/S4377196680","display_name":"IT University Of Copenhagen (IT University of Copenhagen)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I83467386","host_organization_name":"IT University of Copenhagen","host_organization_lineage":["https://openalex.org/I83467386"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Dreyer, D, Neis, G & Birkedal, L 2012, 'The impact of higher-order state and control effects on local relational reasoning', Journal of Functional Programming, vol. 22, no. 4-5.","raw_type":"info:eu-repo/semantics/publishedVersion"}],"best_oa_location":{"id":"doi:10.1017/s095679681200024x","is_oa":true,"landing_page_url":"https://doi.org/10.1017/s095679681200024x","pdf_url":"https://www.cambridge.org/core/services/aop-cambridge-core/content/view/DA921680527426F49ED79644C8C6A565/S095679681200024Xa.pdf/div-class-title-the-impact-of-higher-order-state-and-control-effects-on-local-relational-reasoning-div.pdf","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"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2101443478.pdf","grobid_xml":"https://content.openalex.org/works/W2101443478.grobid-xml"},"referenced_works_count":50,"referenced_works":["https://openalex.org/W1491719272","https://openalex.org/W1534339430","https://openalex.org/W1546369567","https://openalex.org/W1553136405","https://openalex.org/W1559492017","https://openalex.org/W1709253165","https://openalex.org/W1808214913","https://openalex.org/W1847926715","https://openalex.org/W1877442346","https://openalex.org/W1973030866","https://openalex.org/W1980759357","https://openalex.org/W1991984504","https://openalex.org/W2007974484","https://openalex.org/W2011823280","https://openalex.org/W2023149698","https://openalex.org/W2035383849","https://openalex.org/W2038237961","https://openalex.org/W2085080904","https://openalex.org/W2091779700","https://openalex.org/W2099730999","https://openalex.org/W2100559921","https://openalex.org/W2100747331","https://openalex.org/W2102161786","https://openalex.org/W2104795876","https://openalex.org/W2107236650","https://openalex.org/W2114834520","https://openalex.org/W2122971020","https://openalex.org/W2125379835","https://openalex.org/W2126834377","https://openalex.org/W2135365827","https://openalex.org/W2141568518","https://openalex.org/W2143623703","https://openalex.org/W2151716725","https://openalex.org/W2151836690","https://openalex.org/W2152787740","https://openalex.org/W2153644103","https://openalex.org/W2161773169","https://openalex.org/W2292055962","https://openalex.org/W2295840408","https://openalex.org/W2526054476","https://openalex.org/W2612400484","https://openalex.org/W2949578585","https://openalex.org/W2979011767","https://openalex.org/W3101018288","https://openalex.org/W3145018106","https://openalex.org/W3193221559","https://openalex.org/W4230665378","https://openalex.org/W4239690658","https://openalex.org/W4252501555","https://openalex.org/W6683908147"],"related_works":["https://openalex.org/W4391375266","https://openalex.org/W2899084033","https://openalex.org/W2748952813","https://openalex.org/W2390279801","https://openalex.org/W4391913857","https://openalex.org/W2358668433","https://openalex.org/W4396701345","https://openalex.org/W2376932109","https://openalex.org/W2001405890","https://openalex.org/W4396696052"],"abstract_inverted_index":{"Abstract":[0],"Reasoning":[1],"about":[2,29,128],"program":[3],"equivalence":[4,30],"is":[5,69,250],"one":[6],"of":[7,34,46,64,97,112,119,151,160,170,208,219,226,243,253,264],"the":[8,32,47,55,62,74,95,105,116,149,152,156,178,205,211,217,223,251,259],"oldest":[9],"problems":[10],"in":[11,31,50,101,115,230,261],"semantics.":[12],"In":[13,144],"recent":[14,48,168],"years,":[15],"useful":[16,139],"techniques":[17],"have":[18],"been":[19,91],"developed,":[20],"based":[21],"on":[22,167,240],"bisimulations":[23],"and":[24,82,195,234],"logical":[25,163,182],"relations,":[26],"for":[27,141,184],"reasoning":[28,127],"setting":[33],"increasingly":[35],"realistic":[36],"languages\u2014languages":[37],"nearly":[38],"as":[39,41],"complex":[40],"ML":[42],"or":[43],"Haskell.":[44],"Much":[45],"work":[49,169],"this":[51,145,237],"direction":[52],"has":[53,90],"considered":[54],"interesting":[56,244],"representation":[57],"independence":[58],"principles":[59,75],"enabled":[60],"by":[61],"use":[63,252],"local":[65,265],"state,":[66],"but":[67],"it":[68,124],"also":[70],"important":[71],"to":[72,126,155,204,213,247,257],"understand":[73],"that":[76],"powerful":[77,157],"features":[78],"like":[79],"higher-order":[80],"state":[81,215,254,266],"control":[83],"effects":[84],"disable":[85],".":[86,165,174],"This":[87],"latter":[88],"topic":[89],"broached":[92],"extensively":[93],"within":[94],"framework":[96],"game":[98,132],"semantics,":[99],"resulting":[100],"what":[102],"Abramsky":[103],"dubbed":[104],"\u201csemantic":[106],"cube\u201d:":[107],"fully":[108,180],"abstract":[109,181,191],"game-semantic":[110],"characterizations":[111],"various":[113],"axes":[114],"design":[117],"space":[118],"ML-like":[120,186],"languages.":[121],"But":[122],"when":[123],"comes":[125],"many":[129],"actual":[130],"examples,":[131],"semantics":[133],"does":[134],"not":[135],"yet":[136],"supply":[137],"a":[138,241],"technique":[140],"proving":[142,224,238],"equivalences.":[143],"paper,":[146],"we":[147,176,235],"marry":[148],"aspirations":[150],"semantic":[153],"cube":[154],"proof":[158],"method":[159],"step-indexed":[161],"Kripke":[162],"relations":[164],"Building":[166],"Ahmed":[171],"et":[172],"al":[173],"(2009),":[175],"define":[177],"first":[179],"relation":[183],"an":[185],"language":[187],"with":[188],"recursive":[189],"types,":[190,192],"general":[193],"references":[194],"call/cc.":[196],"We":[197],"then":[198],"show":[199],"how,":[200],"under":[201],"orthogonal":[202,232],"restrictions":[203],"expressive":[206],"power":[207,225,239],"our":[209,227,248],"language\u2014namely,":[210],"restriction":[212],"first-order":[214],"and/or":[216],"removal":[218],"call/cc\u2014we":[220],"can":[221],"enhance":[222],"possible-worlds":[228],"model":[229,258],"correspondingly":[231],"ways,":[233],"demonstrate":[236],"range":[242],"examples.":[245],"Central":[246],"story":[249],"transition":[255],"systems":[256],"way":[260],"which":[262],"properties":[263],"evolve":[267],"over":[268],"time.":[269]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":6},{"year":2023,"cited_by_count":7},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":8},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":9},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":8},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":9},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}