{"id":"https://openalex.org/W3109967630","doi":"https://doi.org/10.4230/lipics.ecoop.2020.23","title":"Lifting Sequential Effects to Control Operators","display_name":"Lifting Sequential Effects to Control Operators","publication_year":2018,"publication_date":"2018-11-29","ids":{"openalex":"https://openalex.org/W3109967630","doi":"https://doi.org/10.4230/lipics.ecoop.2020.23","mag":"3109967630"},"language":"en","primary_location":{"id":"pmh:oai:arXiv.org:1811.12285","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1811.12285","pdf_url":"https://arxiv.org/pdf/1811.12285","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"volume":null,"type":"preprint","is_traditional":true,"indexed_in":["arxiv","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/1811.12285","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5072587371","display_name":"Colin S. Gordon","orcid":"https://orcid.org/0000-0002-9012-4490","observed_orcids":["https://orcid.org/0000-0002-9012-4490"]},"institutions":[{"id":"https://openalex.org/I72816309","display_name":"Drexel University","ror":"https://ror.org/04bdffz58","country_code":"US","type":"education","lineage":["https://openalex.org/I72816309"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Gordon, Colin S.","raw_affiliation_strings":["Drexel University, Philadelphia, PA, USA","Drexel University, Philadelphia, United States"],"raw_orcid":"https://orcid.org/0000-0002-9012-4490","affiliations":[{"raw_affiliation_string":"Drexel University, Philadelphia, PA, USA","institution_ids":["https://openalex.org/I72816309"]},{"raw_affiliation_string":"Drexel University, Philadelphia, United States","institution_ids":["https://openalex.org/I72816309"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5072587371"],"corresponding_institution_ids":["https://openalex.org/I72816309"],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":true,"cited_by_count":13,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"biblio":{"volume":null,"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":1.0,"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"}},"topics":[{"id":"https://openalex.org/T10126","display_name":"Logic, programming, and type systems","score":1.0,"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"}},{"id":"https://openalex.org/T10142","display_name":"Formal Methods in Verification","score":0.0,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.0,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/sequential-effects","display_name":"sequential effects","score":0.8610000014305115},{"id":"https://openalex.org/keywords/effect-systems","display_name":"effect systems","score":0.8740000128746033},{"id":"https://openalex.org/keywords/control-operators","display_name":"control operators","score":0.9789999723434448},{"id":"https://openalex.org/keywords/racket","display_name":"Racket","score":0.7570000290870667},{"id":"https://openalex.org/keywords/macro-expressions","display_name":"macro-expressions","score":0.5239999890327454},{"id":"https://openalex.org/keywords/atomicity","display_name":"atomicity","score":0.5960000157356262},{"id":"https://openalex.org/keywords/safety-properties","display_name":"safety properties","score":0.6959999799728394}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7569741010665894},{"id":"https://openalex.org/C160191386","wikidata":"https://www.wikidata.org/wiki/Q868299","display_name":"Control flow","level":2,"score":0.6219919323921204},{"id":"https://openalex.org/C188045909","wikidata":"https://www.wikidata.org/wiki/Q3306359","display_name":"Atomicity","level":3,"score":0.5364454984664917},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.47397059202194214},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4562190771102905},{"id":"https://openalex.org/C2779343474","wikidata":"https://www.wikidata.org/wiki/Q3109175","display_name":"Context (archaeology)","level":2,"score":0.4361686408519745},{"id":"https://openalex.org/C2775924081","wikidata":"https://www.wikidata.org/wiki/Q55608371","display_name":"Control (management)","level":2,"score":0.4278222322463989},{"id":"https://openalex.org/C165696696","wikidata":"https://www.wikidata.org/wiki/Q11287","display_name":"Exploit","level":2,"score":0.42465102672576904},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.23798537254333496},{"id":"https://openalex.org/C75949130","wikidata":"https://www.wikidata.org/wiki/Q848010","display_name":"Database transaction","level":2,"score":0.14146748185157776},{"id":"https://openalex.org/C38652104","wikidata":"https://www.wikidata.org/wiki/Q3510521","display_name":"Computer security","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},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:arXiv.org:1811.12285","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1811.12285","pdf_url":"https://arxiv.org/pdf/1811.12285","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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:drops-oai.dagstuhl.de:13180","doi":null,"is_oa":true,"landing_page_url":"https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2020.23","pdf_url":"https://drops.dagstuhl.de/storage/00lipics/lipics-vol166-ecoop2020/LIPIcs.ECOOP.2020.23/LIPIcs.ECOOP.2020.23.pdf","source":{"id":"https://openalex.org/S4377196569","display_name":"DROPS (Schloss Dagstuhl \u2013 Leibniz Center for Informatics)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I2799853480","host_organization_name":"Schloss Dagstuhl \u2013 Leibniz Center for Informatics","host_organization_lineage":["https://openalex.org/I2799853480"],"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":null,"raw_type":"InProceedings"},{"id":"doi:10.48550/arxiv.1811.12285","doi":"https://doi.org/10.48550/arxiv.1811.12285","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1811.12285","pdf_url":null,"source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Preprint"},{"id":"doi:10.4230/lipics.ecoop.2020.23","doi":"https://doi.org/10.4230/lipics.ecoop.2020.23","is_oa":true,"landing_page_url":"https://doi.org/10.4230/lipics.ecoop.2020.23","pdf_url":null,"source":{"id":"https://openalex.org/S4393917817","display_name":"Leibniz international proceedings in informatics","issn_l":"1868-8969","issn":["1868-8969"],"is_oa":true,"is_in_doaj":true,"is_core":false,"listed_in":["doaj","jufo-1","norway-1"],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"journal"},"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"ConferencePaper"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:1811.12285","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1811.12285","pdf_url":"https://arxiv.org/pdf/1811.12285","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":"2331-8422","issn":["2331-8422"],"is_oa":true,"is_in_doaj":false,"is_core":false,"listed_in":[],"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"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":true,"grobid_xml":true},"content_urls":{"pdf":"https://content.openalex.org/works/W3109967630.pdf","grobid_xml":"https://content.openalex.org/works/W3109967630.grobid-xml"},"referenced_works_count":56,"referenced_works":["https://openalex.org/W578709777","https://openalex.org/W1486694616","https://openalex.org/W1518650316","https://openalex.org/W1551392158","https://openalex.org/W1569788249","https://openalex.org/W1572739102","https://openalex.org/W1591301196","https://openalex.org/W1698939026","https://openalex.org/W1779102629","https://openalex.org/W1793982226","https://openalex.org/W1830421783","https://openalex.org/W1839269954","https://openalex.org/W1970338420","https://openalex.org/W1980746605","https://openalex.org/W1987454389","https://openalex.org/W1995369968","https://openalex.org/W1997897465","https://openalex.org/W1999643018","https://openalex.org/W2004105509","https://openalex.org/W2007738069","https://openalex.org/W2007759294","https://openalex.org/W2022114508","https://openalex.org/W2026879022","https://openalex.org/W2038677544","https://openalex.org/W2041438114","https://openalex.org/W2062953636","https://openalex.org/W2063622838","https://openalex.org/W2068492670","https://openalex.org/W2082334237","https://openalex.org/W2090746009","https://openalex.org/W2099741881","https://openalex.org/W2102222848","https://openalex.org/W2102640269","https://openalex.org/W2103957752","https://openalex.org/W2104200012","https://openalex.org/W2109375905","https://openalex.org/W2112281233","https://openalex.org/W2118671630","https://openalex.org/W2132107743","https://openalex.org/W2132416076","https://openalex.org/W2143665015","https://openalex.org/W2156428492","https://openalex.org/W2157896371","https://openalex.org/W2163672449","https://openalex.org/W2166049140","https://openalex.org/W2166615267","https://openalex.org/W2172255864","https://openalex.org/W2443606115","https://openalex.org/W2544085948","https://openalex.org/W2733797181","https://openalex.org/W2737306518","https://openalex.org/W2798644064","https://openalex.org/W2798848760","https://openalex.org/W2885689644","https://openalex.org/W2949330042","https://openalex.org/W4234122891"],"related_works":["https://openalex.org/W2733797181","https://openalex.org/W2885689644","https://openalex.org/W7099656707","https://openalex.org/W2613301825","https://openalex.org/W4286750595","https://openalex.org/W2131561185","https://openalex.org/W2512447108","https://openalex.org/W4315630772","https://openalex.org/W3145769268","https://openalex.org/W2293797630"],"abstract_inverted_index":{"Sequential":[0],"effect":[1,7,22,30,110,126,158,172,186,199],"systems":[2,23,31,200],"are":[3],"a":[4,94,113,122,129,190],"class":[5],"of":[6,63,74,98,104,115,124,140,146,183],"system":[8,111,127,159],"that":[9],"exploits":[10],"information":[11],"about":[12,34],"program":[13],"order,":[14],"rather":[15],"than":[16],"discarding":[17],"it":[18],"as":[19,41,121],"traditional":[20],"commutative":[21],"do.":[24],"This":[25,135,188],"extra":[26],"expressive":[27],"power":[28],"allows":[29],"to":[32,66,93,192,201],"reason":[33],"behavior":[35],"over":[36],"time,":[37],"capturing":[38],"properties":[39],"such":[40],"atomicity,":[42],"unstructured":[43],"lock":[44],"ownership,":[45],"or":[46],"even":[47],"general":[48,147],"safety":[49],"properties.":[50],"While":[51],"we":[52,153],"now":[53],"understand":[54],"the":[55,72,137,144,156,181],"essential":[56],"denotational":[57],"(categorical)":[58],"models":[59],"fairly":[60],"well,":[61],"application":[62],"these":[64],"ideas":[65],"real":[67,84,202],"software":[68],"is":[69],"hampered":[70],"by":[71,91],"variety":[73],"source":[75],"level":[76],"control":[77,81,105,119,133,148,162],"flow":[78,163],"constructs":[79,101,164,176],"and":[80,169],"operators":[82],"in":[83,102,143,180],"languages.":[85,204],"We":[86,107],"address":[87],"this":[88,151],"new":[89,175],"problem":[90],"appeal":[92],"classic":[95],"idea:":[96],"macro-expression":[97],"commonly-used":[99],"programming":[100,203],"terms":[103],"operators.":[106,134,149],"give":[108],"an":[109,125],"for":[112,128,161,174,197],"subset":[114],"Racket\u2019s":[116],"tagged":[117],"delimited":[118],"operators,":[120],"lifting":[123],"language":[130],"without":[131],"direct":[132],"gives":[136],"first":[138],"account":[139],"sequential":[141,157,171,185,198],"effects":[142],"presence":[145],"Using":[150],"system,":[152],"also":[154],"re-derive":[155],"rules":[160,173],"previously":[165,178],"shown":[166],"sound":[167],"directly,":[168],"derive":[170],"not":[177],"studied":[179],"context":[182],"source-level":[184,195],"systems.":[187],"offers":[189],"way":[191],"directly":[193],"extend":[194],"support":[196]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2025,"cited_by_count":3},{"year":2024,"cited_by_count":4},{"year":2023,"cited_by_count":2},{"year":2021,"cited_by_count":1}],"updated_date":"2026-11-13T13:42:25.865203","created_date":"2020-12-07T00:00:00"}