{"id":"https://openalex.org/W1976469722","doi":"https://doi.org/10.4204/eptcs.177.7","title":"Typing Classes and Mixins with Intersection Types","display_name":"Typing Classes and Mixins with Intersection Types","publication_year":2015,"publication_date":"2015-03-14","ids":{"openalex":"https://openalex.org/W1976469722","doi":"https://doi.org/10.4204/eptcs.177.7","mag":"1976469722"},"language":"en","primary_location":{"id":"doi:10.4204/eptcs.177.7","doi":"https://doi.org/10.4204/eptcs.177.7","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.177.7","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"volume":null,"type":"article","is_traditional":true,"indexed_in":["arxiv","crossref","datacite","doaj"],"open_access":{"is_oa":true,"oa_status":"diamond","oa_url":"https://doi.org/10.4204/eptcs.177.7","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5061497892","display_name":"Jan Bessai","orcid":"https://orcid.org/0000-0002-8506-0808","observed_orcids":["https://orcid.org/0000-0002-8506-0808"]},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Jan Bessai","raw_affiliation_strings":["Technical University of Dortmund","Technical University of Dortmund,#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Dortmund","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Technical University of Dortmund,#TAB#","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005216969","display_name":"Boris D\u00fcdder","orcid":"https://orcid.org/0000-0002-0241-7729","observed_orcids":["https://orcid.org/0000-0002-0241-7729"]},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Boris D\u00fcdder","raw_affiliation_strings":["Technical University of Dortmund","Technical University of Dortmund,#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Dortmund","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Technical University of Dortmund,#TAB#","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5017299598","display_name":"Andrej Dudenhefner","orcid":"https://orcid.org/0000-0003-1104-444X","observed_orcids":["https://orcid.org/0000-0003-1104-444X"]},"institutions":[{"id":"https://openalex.org/I200332995","display_name":"TU Dortmund University","ror":"https://ror.org/01k97gp34","country_code":"DE","type":"education","lineage":["https://openalex.org/I200332995"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Andrej Dudenhefner","raw_affiliation_strings":["Technical University of Dortmund","Technical University of Dortmund,#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Dortmund","institution_ids":["https://openalex.org/I200332995"]},{"raw_affiliation_string":"Technical University of Dortmund,#TAB#","institution_ids":["https://openalex.org/I200332995"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5005700642","display_name":"Tzu\u2010Chun Chen","orcid":"https://orcid.org/0000-0002-8872-5318","observed_orcids":["https://orcid.org/0000-0002-8872-5318"]},"institutions":[{"id":"https://openalex.org/I31512782","display_name":"Technische Universit\u00e4t Darmstadt","ror":"https://ror.org/05n911h24","country_code":"DE","type":"education","lineage":["https://openalex.org/I31512782"]}],"countries":["DE"],"is_corresponding":false,"raw_author_name":"Tzu-Chun Chen","raw_affiliation_strings":["Technical University of Darmstadt"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Technical University of Darmstadt","institution_ids":["https://openalex.org/I31512782"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5020561481","display_name":"Ugo de\u2019Liguoro","orcid":"https://orcid.org/0000-0003-4609-2783","observed_orcids":["https://orcid.org/0000-0003-4609-2783"]},"institutions":[{"id":"https://openalex.org/I55143463","display_name":"University of Turin","ror":"https://ror.org/048tbm396","country_code":"IT","type":"education","lineage":["https://openalex.org/I55143463"]}],"countries":["IT"],"is_corresponding":false,"raw_author_name":"Ugo de'Liguoro","raw_affiliation_strings":["University of Torino"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"University of Torino","institution_ids":["https://openalex.org/I55143463"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.8197,"has_fulltext":true,"cited_by_count":7,"citation_normalized_percentile":{"value":0.92315609,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":97},"biblio":{"volume":"177","issue":null,"first_page":"79","last_page":"93"},"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/T11727","display_name":"Advanced Algebra and Logic","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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.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"}}],"keywords":[{"id":"https://openalex.org/keywords/intersection-types","display_name":"intersection types","score":0.996999979019165},{"id":"https://openalex.org/keywords/mixins","display_name":"mixins","score":0.699999988079071},{"id":"https://openalex.org/keywords/class","display_name":"class","score":0.7239999771118164},{"id":"https://openalex.org/keywords/subject-reduction","display_name":"subject reduction","score":0.781000018119812},{"id":"https://openalex.org/keywords/type-preservation","display_name":"type preservation","score":0.6240000128746033},{"id":"https://openalex.org/keywords/fixed-points","display_name":"fixed points","score":0.5529999732971191},{"id":"https://openalex.org/keywords/java","display_name":"Java","score":0.42100000381469727},{"id":"https://openalex.org/keywords/c","display_name":"C++","score":0.9750000238418579},{"id":"https://openalex.org/keywords/type-systems","display_name":"type systems","score":0.47999998927116394}],"concepts":[{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.602512538433075},{"id":"https://openalex.org/C168773036","wikidata":"https://www.wikidata.org/wiki/Q264164","display_name":"Recursion (computer science)","level":2,"score":0.5886796712875366},{"id":"https://openalex.org/C197129107","wikidata":"https://www.wikidata.org/wiki/Q1921621","display_name":"Merge (version control)","level":2,"score":0.5718569755554199},{"id":"https://openalex.org/C64543145","wikidata":"https://www.wikidata.org/wiki/Q162942","display_name":"Intersection (aeronautics)","level":2,"score":0.5594872236251831},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5472119450569153},{"id":"https://openalex.org/C20528804","wikidata":"https://www.wikidata.org/wiki/Q997433","display_name":"Dependent type","level":3,"score":0.5145070552825928},{"id":"https://openalex.org/C139503435","wikidata":"https://www.wikidata.org/wiki/Q5300083","display_name":"Double recursion","level":3,"score":0.5036718249320984},{"id":"https://openalex.org/C142156749","wikidata":"https://www.wikidata.org/wiki/Q2607208","display_name":"Typed lambda calculus","level":3,"score":0.49917054176330566},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4655625820159912},{"id":"https://openalex.org/C34388435","wikidata":"https://www.wikidata.org/wiki/Q2267362","display_name":"Bounded function","level":2,"score":0.4641273021697998},{"id":"https://openalex.org/C61237538","wikidata":"https://www.wikidata.org/wiki/Q855192","display_name":"Simply typed lambda calculus","level":4,"score":0.4541255533695221},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4222724437713623},{"id":"https://openalex.org/C138958017","wikidata":"https://www.wikidata.org/wiki/Q190087","display_name":"Data type","level":2,"score":0.4166111946105957},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.36740636825561523},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.33707886934280396},{"id":"https://openalex.org/C146978453","wikidata":"https://www.wikidata.org/wiki/Q3798668","display_name":"Aerospace engineering","level":1,"score":0.0},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0},{"id":"https://openalex.org/C127413603","wikidata":"https://www.wikidata.org/wiki/Q11023","display_name":"Engineering","level":0,"score":0.0},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","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/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.0}],"mesh":[],"locations_count":5,"locations":[{"id":"doi:10.4204/eptcs.177.7","doi":"https://doi.org/10.4204/eptcs.177.7","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.177.7","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},{"id":"pmh:oai:arXiv.org:1503.04911","doi":null,"is_oa":true,"landing_page_url":"http://arxiv.org/abs/1503.04911","pdf_url":"https://arxiv.org/pdf/1503.04911","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:iris.unito.it:2318/1526468","doi":null,"is_oa":true,"landing_page_url":"http://hdl.handle.net/2318/1526468","pdf_url":"https://iris.unito.it/bitstream/2318/1526468/1/ITRS2014.7.pdf","source":{"id":"https://openalex.org/S4306400637","display_name":"Institutional Research Information System University of Turin (University of Turin)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I55143463","host_organization_name":"University of Turin","host_organization_lineage":["https://openalex.org/I55143463"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"info:eu-repo/semantics/conferenceObject"},{"id":"pmh:oai:doaj.org/article:dcfc56705adf4c97b44b686c6221480d","doi":null,"is_oa":true,"landing_page_url":"https://doaj.org/article/dcfc56705adf4c97b44b686c6221480d","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science, Vol 177, Iss Proc. ITRS 2014, Pp 79-93 (2015)","raw_type":"article"},{"id":"doi:10.48550/arxiv.1503.04911","doi":"https://doi.org/10.48550/arxiv.1503.04911","is_oa":true,"landing_page_url":"https://doi.org/10.48550/arxiv.1503.04911","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":"article-journal"}],"best_oa_location":{"id":"doi:10.4204/eptcs.177.7","doi":"https://doi.org/10.4204/eptcs.177.7","is_oa":true,"landing_page_url":"https://doi.org/10.4204/eptcs.177.7","pdf_url":null,"source":{"id":"https://openalex.org/S4210216316","display_name":"Electronic Proceedings in Theoretical Computer Science","issn_l":"2075-2180","issn":["2075-2180"],"is_oa":true,"is_in_doaj":true,"is_core":true,"listed_in":["cwts-core","doaj","norway-1","poland-20"],"host_organization":"https://openalex.org/P4310318029","host_organization_name":"Open Publishing Association","host_organization_lineage":["https://openalex.org/P4310318029"],"host_organization_lineage_names":["Open Publishing Association"],"type":"journal"},"license":"cc-by-nc-nd","license_id":"https://openalex.org/licenses/cc-by-nc-nd","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Electronic Proceedings in Theoretical Computer Science","raw_type":"journal-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W1976469722.pdf","grobid_xml":"https://content.openalex.org/works/W1976469722.grobid-xml"},"referenced_works_count":23,"referenced_works":["https://openalex.org/W143490393","https://openalex.org/W1488740219","https://openalex.org/W1541300975","https://openalex.org/W1544633123","https://openalex.org/W1547926009","https://openalex.org/W1566320980","https://openalex.org/W1591849443","https://openalex.org/W1609270914","https://openalex.org/W1615603009","https://openalex.org/W1750043039","https://openalex.org/W1970227944","https://openalex.org/W1989237968","https://openalex.org/W2069037543","https://openalex.org/W2087707390","https://openalex.org/W2115680394","https://openalex.org/W2128529251","https://openalex.org/W2150101804","https://openalex.org/W2153060956","https://openalex.org/W2173184982","https://openalex.org/W2404209845","https://openalex.org/W2475556466","https://openalex.org/W2486498742","https://openalex.org/W4230690659"],"related_works":["https://openalex.org/W3021521199","https://openalex.org/W7095994492","https://openalex.org/W7100791101","https://openalex.org/W2064604822","https://openalex.org/W7096829850","https://openalex.org/W7095170893","https://openalex.org/W2105663497","https://openalex.org/W7099571242","https://openalex.org/W1591849443","https://openalex.org/W7095539721"],"abstract_inverted_index":{"We":[0,78,109],"study":[1,115],"an":[2],"assignment":[3],"system":[4,122],"of":[5,52],"intersection":[6,120],"types":[7,18],"for":[8],"a":[9,14,96],"lambda-calculus":[10,127],"with":[11,128],"records":[12,129],"and":[13,25,63,83,87,114],"record-merge":[15],"operator,":[16],"where":[17],"are":[19,47],"preserved":[20],"both":[21],"under":[22],"subject":[23],"reduction":[24],"expansion.":[26],"The":[27],"calculus":[28],"is":[29,57],"expressive":[30],"enough":[31],"to":[32,71,85],"naturally":[33],"represent":[34],"mixins":[35,64],"as":[36],"functions":[37],"over":[38],"recursively":[39],"defined":[40],"classes,":[41],"whose":[42],"fixed":[43],"points,":[44],"the":[45,53,99,105,119,126],"objects,":[46],"recursive":[48,73],"records.":[49],"In":[50],"spite":[51],"double":[54],"recursion":[55],"that":[56,98],"involved":[58],"in":[59,94,104,118],"their":[60],"definition,":[61],"classes":[62],"can":[65],"be":[66],"meaningfully":[67],"typed":[68],"without":[69],"resorting":[70],"neither":[72],"nor":[74],"F-bounded":[75],"polymorphic":[76],"types.":[77],"then":[79],"adapt":[80],"mixin":[81],"construct":[82],"composition":[84],"Java":[86],"C#,":[88],"relying":[89],"solely":[90],"on":[91],"existing":[92],"features":[93],"such":[95],"way":[97],"resulting":[100],"code":[101],"remains":[102],"typable":[103],"respective":[106],"type":[107,121],"systems.":[108],"exhibit":[110],"some":[111],"example":[112],"code,":[113],"its":[116],"typings":[117],"via":[123],"interpretation":[124],"into":[125],"we":[130],"have":[131],"proposed.":[132]},"counts_by_year":[{"year":2025,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2018,"cited_by_count":1},{"year":2015,"cited_by_count":3}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}