{"id":"https://openalex.org/W2100559921","doi":"https://doi.org/10.1145/1480881.1480925","title":"State-dependent representation independence","display_name":"State-dependent representation independence","publication_year":2009,"publication_date":"2009-01-20","ids":{"openalex":"https://openalex.org/W2100559921","doi":"https://doi.org/10.1145/1480881.1480925","mag":"2100559921"},"language":"en","primary_location":{"id":"doi:10.1145/1480881.1480925","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1480881.1480925","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"},"type":"conference-paper","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/A5084250644","display_name":"Amal Ahmed","orcid":"https://orcid.org/0000-0001-7424-572X"},"institutions":[{"id":"https://openalex.org/I160992636","display_name":"Toyota Technological Institute at Chicago","ror":"https://ror.org/02sn5gb64","country_code":"US","type":"education","lineage":["https://openalex.org/I160992636"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Amal Ahmed","raw_affiliation_strings":["TTI-C, Chicago, IL, USA"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"TTI-C, Chicago, IL, USA","institution_ids":["https://openalex.org/I160992636"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5050585539","display_name":"Derek Dreyer","orcid":"https://orcid.org/0000-0002-3884-6867"},"institutions":[{"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":["MPI-SWS, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MPI-SWS, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210121786"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054382677","display_name":"Andreas Rossberg","orcid":"https://orcid.org/0000-0003-3137-3160"},"institutions":[{"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":"Andreas Rossberg","raw_affiliation_strings":["MPI-SWS, Saarbr\u00fccken, Germany"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"MPI-SWS, Saarbr\u00fccken, Germany","institution_ids":["https://openalex.org/I4210121786"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":2,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":17.6032,"has_fulltext":false,"cited_by_count":181,"citation_normalized_percentile":{"value":0.9962148,"is_in_top_1_percent":true,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":93,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"340","last_page":"353"},"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.9994000196456909,"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.9994000196456909,"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/T10772","display_name":"Distributed systems and fault tolerance","score":0.996399998664856,"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"}},{"id":"https://openalex.org/T10317","display_name":"Advanced Database Systems and Queries","score":0.9962999820709229,"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/computer-science","display_name":"Computer science","score":0.6865721940994263},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.6477192044258118},{"id":"https://openalex.org/keywords/independence","display_name":"Independence (probability theory)","score":0.6379597187042236},{"id":"https://openalex.org/keywords/representation","display_name":"Representation (politics)","score":0.595044732093811},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.5197224617004395},{"id":"https://openalex.org/keywords/state","display_name":"State (computer science)","score":0.513023316860199},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.49277761578559875},{"id":"https://openalex.org/keywords/relation","display_name":"Relation (database)","score":0.4476739168167114},{"id":"https://openalex.org/keywords/existentialism","display_name":"Existentialism","score":0.4451000988483429},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.22575798630714417},{"id":"https://openalex.org/keywords/data-mining","display_name":"Data mining","score":0.05803126096725464},{"id":"https://openalex.org/keywords/epistemology","display_name":"Epistemology","score":0.053034961223602295}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6865721940994263},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.6477192044258118},{"id":"https://openalex.org/C35651441","wikidata":"https://www.wikidata.org/wiki/Q625303","display_name":"Independence (probability theory)","level":2,"score":0.6379597187042236},{"id":"https://openalex.org/C2776359362","wikidata":"https://www.wikidata.org/wiki/Q2145286","display_name":"Representation (politics)","level":3,"score":0.595044732093811},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.5197224617004395},{"id":"https://openalex.org/C48103436","wikidata":"https://www.wikidata.org/wiki/Q599031","display_name":"State (computer science)","level":2,"score":0.513023316860199},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.49277761578559875},{"id":"https://openalex.org/C25343380","wikidata":"https://www.wikidata.org/wiki/Q277521","display_name":"Relation (database)","level":2,"score":0.4476739168167114},{"id":"https://openalex.org/C127882523","wikidata":"https://www.wikidata.org/wiki/Q38066","display_name":"Existentialism","level":2,"score":0.4451000988483429},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.22575798630714417},{"id":"https://openalex.org/C124101348","wikidata":"https://www.wikidata.org/wiki/Q172491","display_name":"Data mining","level":1,"score":0.05803126096725464},{"id":"https://openalex.org/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","level":1,"score":0.053034961223602295},{"id":"https://openalex.org/C17744445","wikidata":"https://www.wikidata.org/wiki/Q36442","display_name":"Political science","level":0,"score":0.0},{"id":"https://openalex.org/C94625758","wikidata":"https://www.wikidata.org/wiki/Q7163","display_name":"Politics","level":2,"score":0.0},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.0},{"id":"https://openalex.org/C105795698","wikidata":"https://www.wikidata.org/wiki/Q12483","display_name":"Statistics","level":1,"score":0.0},{"id":"https://openalex.org/C199539241","wikidata":"https://www.wikidata.org/wiki/Q7748","display_name":"Law","level":1,"score":0.0}],"mesh":[],"locations_count":9,"locations":[{"id":"doi:10.1145/1480881.1480925","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1480881.1480925","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.144.2285","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.144.2285","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://ttic.uchicago.edu/~amal/papers/sdri.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.164.5411","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.164.5411","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.indiana.edu/~amal/papers/sdri.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.180.7180","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.180.7180","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/%7Erossberg/papers/Ahmed%2C%20Dreyer%2C%20Rossberg%20-%20State-Dependent%20Representation%20Independence.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.413.3977","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.413.3977","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/sdri/popl.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.414.5493","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.414.5493","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/~rossberg/papers/Ahmed, Dreyer, Rossberg - State-Dependent Representation Independence [Draft].pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.906.2181","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.906.2181","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.researchgate.net/profile/Amal_Ahmed12/publication/220997583_State-dependent_representation_independence/links/53fcc7080cf2dca8ffff4bf4.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.907.9557","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.907.9557","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"https://www.researchgate.net/profile/Amal_Ahmed12/publication/220997583_State-dependent_representation_independence/links/53fcc7080cf2dca8ffff4bf4.pdf?origin%3Dpublication_detail","raw_type":"text"},{"id":"pmh:oai:escidoc.org:escidoc:2173402","is_oa":false,"landing_page_url":"http://hdl.handle.net/11858/00-001M-0000-0028-8BE3-7","pdf_url":null,"source":{"id":"https://openalex.org/S7407052962","display_name":"Max Planck Digital Library","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I4210088280","host_organization_name":"Max Planck Digital Library","host_organization_lineage":["https://openalex.org/I4210088280"],"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"}],"best_oa_location":null,"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/10","score":0.41999998688697815,"display_name":"Reduced inequalities"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":34,"referenced_works":["https://openalex.org/W326743114","https://openalex.org/W1495825275","https://openalex.org/W1508098446","https://openalex.org/W1553136405","https://openalex.org/W1567587382","https://openalex.org/W1580157489","https://openalex.org/W1808214913","https://openalex.org/W1956373135","https://openalex.org/W1979366339","https://openalex.org/W1990409169","https://openalex.org/W1991984504","https://openalex.org/W1992889841","https://openalex.org/W2003820289","https://openalex.org/W2011491369","https://openalex.org/W2013368693","https://openalex.org/W2053070172","https://openalex.org/W2061156817","https://openalex.org/W2085080904","https://openalex.org/W2096216741","https://openalex.org/W2100559921","https://openalex.org/W2105641926","https://openalex.org/W2106978595","https://openalex.org/W2114702512","https://openalex.org/W2125379835","https://openalex.org/W2137628566","https://openalex.org/W2139722010","https://openalex.org/W2144562508","https://openalex.org/W2163690888","https://openalex.org/W2167017930","https://openalex.org/W4241057360","https://openalex.org/W4242150334","https://openalex.org/W4285719527","https://openalex.org/W6638366060","https://openalex.org/W6675950750"],"related_works":["https://openalex.org/W2385364491","https://openalex.org/W2625646796","https://openalex.org/W3041624257","https://openalex.org/W219899776","https://openalex.org/W4210465737","https://openalex.org/W2974802953","https://openalex.org/W2356175078","https://openalex.org/W2474767644","https://openalex.org/W2158722153","https://openalex.org/W141267447"],"abstract_inverted_index":{"Mitchell's":[0],"notion":[1],"of":[2,10,18,50,61,88,94,100],"representation":[3,55,114],"independence":[4,56,115],"is":[5,40,67,83],"a":[6,33,48],"particularly":[7],"useful":[8],"application":[9],"Reynolds'":[11],"relational":[12],"parametricity":[13],"--":[14,120],"two":[15],"different":[16],"implementations":[17],"an":[19],"abstract":[20,131],"data":[21,65,81],"type":[22,37,102],"can":[23],"be":[24],"shown":[25],"contextually":[26],"equivalent":[27],"so":[28],"long":[29],"as":[30,72,74],"there":[31],"exists":[32],"relation":[34],"between":[35],"their":[36,43],"representations":[38,135],"that":[39,123,139],"preserved":[41],"by":[42],"operations.":[44],"There":[45],"have":[46],"been":[47],"number":[49],"methods":[51],"proposed":[52],"for":[53,117],"proving":[54],"in":[57,75],"various":[58],"pure":[59],"extensions":[60],"System":[62],"F":[63],"(where":[64,80],"abstraction":[66,82,103],"achieved":[68,84],"through":[69,85],"existential":[70,101],"typing),":[71],"well":[73],"Algol-":[76],"or":[77],"Java-like":[78],"languages":[79],"the":[86,98],"use":[87],"local":[89,105,127,140],"mutable":[90],"state).":[91],"However,":[92],"none":[93,109],"these":[95],"approaches":[96],"addresses":[97],"interaction":[99],"and":[104,129],"state.":[106,141],"In":[107],"particular,":[108],"allows":[110],"one":[111],"to":[112],"prove":[113],"results":[116],"generative":[118],"ADTs":[119,122],"i.e.":[121],"both":[124],"maintain":[125],"some":[126],"state":[128],"define":[130],"types":[132],"whose":[133],"internal":[134],"are":[136],"dependent":[137],"on":[138]},"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":2},{"year":2022,"cited_by_count":7},{"year":2021,"cited_by_count":13},{"year":2020,"cited_by_count":7},{"year":2019,"cited_by_count":13},{"year":2018,"cited_by_count":6},{"year":2017,"cited_by_count":10},{"year":2016,"cited_by_count":9},{"year":2015,"cited_by_count":11},{"year":2014,"cited_by_count":7},{"year":2013,"cited_by_count":12},{"year":2012,"cited_by_count":17}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}