{"id":"https://openalex.org/W2074678391","doi":"https://doi.org/10.1145/1018203.1018206","title":"Extensible objects without labels","display_name":"Extensible objects without labels","publication_year":2004,"publication_date":"2004-09-01","ids":{"openalex":"https://openalex.org/W2074678391","doi":"https://doi.org/10.1145/1018203.1018206","mag":"2074678391"},"language":"en","primary_location":{"id":"doi:10.1145/1018203.1018206","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1018203.1018206","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1018203.1018206","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/1018203.1018206","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5068034903","display_name":"C. Addison Stone","orcid":"https://orcid.org/0009-0006-5720-3433"},"institutions":[{"id":"https://openalex.org/I133543626","display_name":"Harvey Mudd College","ror":"https://ror.org/025ecfn45","country_code":"US","type":"education","lineage":["https://openalex.org/I133543626"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Christopher A. Stone","raw_affiliation_strings":["Harvey Mudd College, Claremont, CA"],"affiliations":[{"raw_affiliation_string":"Harvey Mudd College, Claremont, CA","institution_ids":["https://openalex.org/I133543626"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5068034903"],"corresponding_institution_ids":["https://openalex.org/I133543626"],"apc_list":null,"apc_paid":null,"fwci":1.8485,"has_fulltext":true,"cited_by_count":5,"citation_normalized_percentile":{"value":0.87710837,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":"26","issue":"5","first_page":"805","last_page":"835"},"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.9998000264167786,"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.9998000264167786,"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.9926000237464905,"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/T11010","display_name":"Logic, Reasoning, and Knowledge","score":0.9803000092506409,"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.8116329908370972},{"id":"https://openalex.org/keywords/object","display_name":"Object (grammar)","score":0.7527291774749756},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6293911337852478},{"id":"https://openalex.org/keywords/subtyping","display_name":"Subtyping","score":0.5912485122680664},{"id":"https://openalex.org/keywords/tuple","display_name":"Tuple","score":0.562874436378479},{"id":"https://openalex.org/keywords/type-safety","display_name":"Type safety","score":0.49025681614875793},{"id":"https://openalex.org/keywords/sequence","display_name":"Sequence (biology)","score":0.47300368547439575},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.4623492956161499},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.4394492208957672},{"id":"https://openalex.org/keywords/hierarchy","display_name":"Hierarchy","score":0.43347156047821045},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.427140474319458},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2520570755004883},{"id":"https://openalex.org/keywords/discrete-mathematics","display_name":"Discrete mathematics","score":0.22016948461532593},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.17134219408035278}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8116329908370972},{"id":"https://openalex.org/C2781238097","wikidata":"https://www.wikidata.org/wiki/Q175026","display_name":"Object (grammar)","level":2,"score":0.7527291774749756},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6293911337852478},{"id":"https://openalex.org/C83852419","wikidata":"https://www.wikidata.org/wiki/Q2713292","display_name":"Subtyping","level":2,"score":0.5912485122680664},{"id":"https://openalex.org/C118930307","wikidata":"https://www.wikidata.org/wiki/Q600590","display_name":"Tuple","level":2,"score":0.562874436378479},{"id":"https://openalex.org/C44779574","wikidata":"https://www.wikidata.org/wiki/Q736866","display_name":"Type safety","level":2,"score":0.49025681614875793},{"id":"https://openalex.org/C2778112365","wikidata":"https://www.wikidata.org/wiki/Q3511065","display_name":"Sequence (biology)","level":2,"score":0.47300368547439575},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.4623492956161499},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4394492208957672},{"id":"https://openalex.org/C31170391","wikidata":"https://www.wikidata.org/wiki/Q188619","display_name":"Hierarchy","level":2,"score":0.43347156047821045},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.427140474319458},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2520570755004883},{"id":"https://openalex.org/C118615104","wikidata":"https://www.wikidata.org/wiki/Q121416","display_name":"Discrete mathematics","level":1,"score":0.22016948461532593},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.17134219408035278},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.0},{"id":"https://openalex.org/C18903297","wikidata":"https://www.wikidata.org/wiki/Q7150","display_name":"Ecology","level":1,"score":0.0},{"id":"https://openalex.org/C34447519","wikidata":"https://www.wikidata.org/wiki/Q179522","display_name":"Market economy","level":1,"score":0.0},{"id":"https://openalex.org/C162324750","wikidata":"https://www.wikidata.org/wiki/Q8134","display_name":"Economics","level":0,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1018203.1018206","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1018203.1018206","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1018203.1018206","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.95.1767","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.95.1767","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.cs.hmc.edu/~stone/papers/toplas-fool9-sub.pdf","raw_type":"text"}],"best_oa_location":{"id":"doi:10.1145/1018203.1018206","is_oa":true,"landing_page_url":"https://doi.org/10.1145/1018203.1018206","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/1018203.1018206","source":{"id":"https://openalex.org/S41449414","display_name":"ACM Transactions on Programming Languages and Systems","issn_l":"0164-0925","issn":["0164-0925","1558-4593"],"is_oa":false,"is_in_doaj":false,"is_core":true,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"journal-article"},"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2074678391.pdf","grobid_xml":"https://content.openalex.org/works/W2074678391.grobid-xml"},"referenced_works_count":38,"referenced_works":["https://openalex.org/W60185894","https://openalex.org/W168248273","https://openalex.org/W1494298645","https://openalex.org/W1494774343","https://openalex.org/W1510641142","https://openalex.org/W1539982275","https://openalex.org/W1544633123","https://openalex.org/W1546727036","https://openalex.org/W1557561422","https://openalex.org/W1560159379","https://openalex.org/W1604928976","https://openalex.org/W1644882639","https://openalex.org/W1764939356","https://openalex.org/W1829244603","https://openalex.org/W1879619902","https://openalex.org/W1969665008","https://openalex.org/W1979841054","https://openalex.org/W1980939032","https://openalex.org/W1998817600","https://openalex.org/W2006125587","https://openalex.org/W2024398154","https://openalex.org/W2030916392","https://openalex.org/W2035201087","https://openalex.org/W2045663419","https://openalex.org/W2046079722","https://openalex.org/W2080648611","https://openalex.org/W2090959968","https://openalex.org/W2091967036","https://openalex.org/W2092632814","https://openalex.org/W2104301310","https://openalex.org/W2113239150","https://openalex.org/W2115680394","https://openalex.org/W2144015080","https://openalex.org/W2148853502","https://openalex.org/W2154294048","https://openalex.org/W2561675875","https://openalex.org/W2987803397","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2942731189","https://openalex.org/W2134988307","https://openalex.org/W4243252198","https://openalex.org/W2015107660","https://openalex.org/W2163009019","https://openalex.org/W2108904538","https://openalex.org/W2054765143","https://openalex.org/W1556460735","https://openalex.org/W2763815264","https://openalex.org/W2074678391"],"abstract_inverted_index":{"Typed":[0],"object":[1,28,59,62,75,170,185],"calculi":[2],"that":[3,220],"permit":[4],"adding":[5],"new":[6,22],"methods":[7],"to":[8,26,76,131,179,182,209,214,216,224],"existing":[9],"objects":[10,175,241,275],"must":[11],"address":[12],"the":[13,33,48,55,61,66,114,134,140,160,199,253,264,267],"problem":[14],"of":[15,58,83,96,101,113,136,152,162,191,256,266],"name":[16,35,236],"clashes:":[17],"what":[18],"happens":[19],"if":[20],"a":[21,37,93,167,188],"method":[23,82],"is":[24,186],"added":[25],"an":[27],"already":[29],"having":[30,252],"one":[31,246],"with":[32,70,80,86,110,242,263,276],"same":[34],"but":[36,262],"different":[38],"type?":[39],"Most":[40],"systems":[41],"statically":[42,234],"forbid":[43],"such":[44],"clashes":[45,237],"by":[46,53,158,195,205,233],"restricting":[47],"allowable":[49],"subtypings.":[50],"In":[51],"contrast,":[52],"reconsidering":[54],"runtime":[56],"meaning":[57],"extension,":[60],"calculus":[63,171],"studied":[64],"in":[65,133,172,198,218],"author's":[67],"previous":[68],"work":[69],"Jon":[71],"Riecke":[72],"allowed":[73],"any":[74,81,84,119],"be":[77,106,210,222,281],"soundly":[78],"extended":[79],"name,":[85],"unrestricted":[87],"width":[88,102],"subtyping.":[89],"That":[90],"language":[91],"permitted":[92],"simple":[94],"encoding":[95,147],"classes":[97,128,251],"as":[98],"object-generators.":[99],"Because":[100],"subtyping,":[103],"subclasses":[104],"could":[105],"typechecked":[107],"and":[108,117,164,250],"compiled":[109],"little":[111],"knowledge":[112],"class":[115],"hierarchy":[116],"without":[118],"information":[120],"about":[121],"superclasses'":[122],"private":[123],"components;":[124],"this":[125],"made":[126],"derived":[127],"more":[129,177,272],"robust":[130],"changes":[132],"implementations":[135],"base":[137],"classes.":[138],"However,":[139],"system":[141],"was":[142],"not":[143],"well":[144],"suited":[145],"for":[146],"mixins":[148,249],"or":[149,260],"by-name":[150,254],"subtyping":[151,255],"objects.This":[153],"article":[154],"addresses":[155],"those":[156],"deficiencies":[157],"presenting":[159],"Calculus":[161],"Objects":[163],"Indices":[165],"(COI),":[166],"lower-level":[168],"typed":[169],"which":[173],"extensible":[174,274],"are":[176,202],"analogous":[178],"tuples":[180],"than":[181],"records.":[183],"An":[184],"simply":[187],"finite":[189],"sequence":[190],"unnamed":[192],"components":[193,278],"referenced":[194],"their":[196],"index":[197],"sequence.":[200],"Names":[201],"then":[203],"reintroduced":[204],"allowing":[206],"these":[207],"indices":[208],"first-class":[211],"values":[212],"(analogous":[213],"pointers":[215],"members":[217],"C++)":[219],"can":[221,247,279],"bound":[223],"variables.":[225],"Since":[226],"variables---unlike":[227],"record":[228],"labels---freely":[229],"alpha-vary,":[230],"difficulties":[231],"caused":[232],"undetectable":[235],"disappear.By":[238],"combining":[239],"COI":[240],"standard":[243,273],"type-theoretic":[244],"mechanisms,":[245],"encode":[248],"languages":[257],"like":[258],"C++":[259],"Java":[261],"robustness":[265],"object-generator":[268],"encodings.":[269],"Using":[270],"records,":[271],"named":[277],"also":[280],"encoded.":[282]},"counts_by_year":[],"updated_date":"2026-04-04T16:13:02.066488","created_date":"2025-10-10T00:00:00"}