{"id":"https://openalex.org/W1989760056","doi":"https://doi.org/10.1145/2450136.2450137","title":"Mixin\u2019 Up the ML Module System","display_name":"Mixin\u2019 Up the ML Module System","publication_year":2013,"publication_date":"2013-04-01","ids":{"openalex":"https://openalex.org/W1989760056","doi":"https://doi.org/10.1145/2450136.2450137","mag":"1989760056"},"language":"en","primary_location":{"id":"doi:10.1145/2450136.2450137","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2450136.2450137","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2450136.2450137","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/2450136.2450137","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5054382677","display_name":"Andreas Rossberg","orcid":"https://orcid.org/0000-0003-3137-3160"},"institutions":[{"id":"https://openalex.org/I1291425158","display_name":"Google (United States)","ror":"https://ror.org/00njsd438","country_code":"US","type":"company","lineage":["https://openalex.org/I1291425158","https://openalex.org/I4210128969"]}],"countries":["US"],"is_corresponding":false,"raw_author_name":"Andreas Rossberg","raw_affiliation_strings":["Google"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Google","institution_ids":["https://openalex.org/I1291425158"]}]},{"author_position":"last","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)","Max Planck Institute for Software Systems (MPI-SWS),#TAB#"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Max Planck Institute for Software Systems (MPI-SWS)","institution_ids":["https://openalex.org/I4210121786"]},{"raw_affiliation_string":"Max Planck Institute for Software Systems (MPI-SWS),#TAB#","institution_ids":["https://openalex.org/I149899117"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":5.1381,"has_fulltext":true,"cited_by_count":19,"citation_normalized_percentile":{"value":0.94863158,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":98},"biblio":{"volume":"35","issue":"1","first_page":"1","last_page":"84"},"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.9998999834060669,"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.9998999834060669,"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.9842000007629395,"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/T10142","display_name":"Formal Methods in Verification","score":0.9832000136375427,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8795285224914551},{"id":"https://openalex.org/keywords/namespace","display_name":"Namespace","score":0.8311237692832947},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.759003221988678},{"id":"https://openalex.org/keywords/object-oriented-programming","display_name":"Object-oriented programming","score":0.5298715829849243},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.5193708539009094},{"id":"https://openalex.org/keywords/operational-semantics","display_name":"Operational semantics","score":0.4912216067314148},{"id":"https://openalex.org/keywords/multiple-inheritance","display_name":"Multiple inheritance","score":0.4861123561859131},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.44419485330581665},{"id":"https://openalex.org/keywords/type-theory","display_name":"Type theory","score":0.4413856565952301},{"id":"https://openalex.org/keywords/set","display_name":"Set (abstract data type)","score":0.42354464530944824},{"id":"https://openalex.org/keywords/class","display_name":"Class (philosophy)","score":0.42032817006111145},{"id":"https://openalex.org/keywords/abstraction","display_name":"Abstraction","score":0.41236674785614014},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.4092334806919098},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.16808274388313293},{"id":"https://openalex.org/keywords/database","display_name":"Database","score":0.12893804907798767}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8795285224914551},{"id":"https://openalex.org/C2778383056","wikidata":"https://www.wikidata.org/wiki/Q873636","display_name":"Namespace","level":2,"score":0.8311237692832947},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.759003221988678},{"id":"https://openalex.org/C73752529","wikidata":"https://www.wikidata.org/wiki/Q79872","display_name":"Object-oriented programming","level":2,"score":0.5298715829849243},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.5193708539009094},{"id":"https://openalex.org/C156325763","wikidata":"https://www.wikidata.org/wiki/Q1930895","display_name":"Operational semantics","level":3,"score":0.4912216067314148},{"id":"https://openalex.org/C200568363","wikidata":"https://www.wikidata.org/wiki/Q1070739","display_name":"Multiple inheritance","level":3,"score":0.4861123561859131},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.44419485330581665},{"id":"https://openalex.org/C93682546","wikidata":"https://www.wikidata.org/wiki/Q1056428","display_name":"Type theory","level":3,"score":0.4413856565952301},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42354464530944824},{"id":"https://openalex.org/C2777212361","wikidata":"https://www.wikidata.org/wiki/Q5127848","display_name":"Class (philosophy)","level":2,"score":0.42032817006111145},{"id":"https://openalex.org/C124304363","wikidata":"https://www.wikidata.org/wiki/Q673661","display_name":"Abstraction","level":2,"score":0.41236674785614014},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.4092334806919098},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.16808274388313293},{"id":"https://openalex.org/C77088390","wikidata":"https://www.wikidata.org/wiki/Q8513","display_name":"Database","level":1,"score":0.12893804907798767},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"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/C111472728","wikidata":"https://www.wikidata.org/wiki/Q9471","display_name":"Epistemology","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}],"mesh":[],"locations_count":6,"locations":[{"id":"doi:10.1145/2450136.2450137","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2450136.2450137","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2450136.2450137","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.295.4776","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.295.4776","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/mixml/mixml-toplas.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.414.1216","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.414.1216","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/Rossberg, Dreyer - Mixin' Up the ML Module System [Draft].pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.414.2096","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.414.2096","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/mixml/journal.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.706.4725","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.706.4725","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/mixml/mixml-toplas.pdf","raw_type":"text"},{"id":"pmh:oai:pure.mpg.de:item_2173559","is_oa":false,"landing_page_url":"http://hdl.handle.net/11858/00-001M-0000-0028-1A1E-E","pdf_url":null,"source":{"id":"https://openalex.org/S4306400654","display_name":"MPG.PuRe (Max Planck Society)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I149899117","host_organization_name":"Max Planck Society","host_organization_lineage":["https://openalex.org/I149899117"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"ACM Transactions on Programming Languages and Systems","raw_type":"info:eu-repo/semantics/article"}],"best_oa_location":{"id":"doi:10.1145/2450136.2450137","is_oa":true,"landing_page_url":"https://doi.org/10.1145/2450136.2450137","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/2450136.2450137","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/W1989760056.pdf","grobid_xml":"https://content.openalex.org/works/W1989760056.grobid-xml"},"referenced_works_count":65,"referenced_works":["https://openalex.org/W197885067","https://openalex.org/W1508098446","https://openalex.org/W1544633123","https://openalex.org/W1546727036","https://openalex.org/W1547639981","https://openalex.org/W1553136405","https://openalex.org/W1561824685","https://openalex.org/W1567587382","https://openalex.org/W1577182889","https://openalex.org/W1591274473","https://openalex.org/W1594284843","https://openalex.org/W1597824249","https://openalex.org/W1720741243","https://openalex.org/W1829244603","https://openalex.org/W1970031091","https://openalex.org/W1991984504","https://openalex.org/W2005221219","https://openalex.org/W2011010004","https://openalex.org/W2014889169","https://openalex.org/W2022407453","https://openalex.org/W2022683189","https://openalex.org/W2026942132","https://openalex.org/W2030639337","https://openalex.org/W2033619100","https://openalex.org/W2039446670","https://openalex.org/W2043261859","https://openalex.org/W2048223797","https://openalex.org/W2048569219","https://openalex.org/W2053070172","https://openalex.org/W2059895047","https://openalex.org/W2070880808","https://openalex.org/W2099305192","https://openalex.org/W2100562635","https://openalex.org/W2101005398","https://openalex.org/W2102185243","https://openalex.org/W2102976859","https://openalex.org/W2115680394","https://openalex.org/W2120668987","https://openalex.org/W2121993468","https://openalex.org/W2122204385","https://openalex.org/W2127600624","https://openalex.org/W2133639043","https://openalex.org/W2138130168","https://openalex.org/W2140764366","https://openalex.org/W2143661661","https://openalex.org/W2145029935","https://openalex.org/W2145945984","https://openalex.org/W2150101804","https://openalex.org/W2151275061","https://openalex.org/W2161017670","https://openalex.org/W2166039230","https://openalex.org/W2166715995","https://openalex.org/W2167017930","https://openalex.org/W2172232818","https://openalex.org/W2278011425","https://openalex.org/W2295135584","https://openalex.org/W2634443969","https://openalex.org/W2912106379","https://openalex.org/W4231995779","https://openalex.org/W4233881619","https://openalex.org/W4237270226","https://openalex.org/W4247176091","https://openalex.org/W4249022551","https://openalex.org/W4256573185","https://openalex.org/W4285719527"],"related_works":["https://openalex.org/W2374055244","https://openalex.org/W203053519","https://openalex.org/W2506049087","https://openalex.org/W4289254729","https://openalex.org/W4206293530","https://openalex.org/W1556111706","https://openalex.org/W1982805680","https://openalex.org/W4253671812","https://openalex.org/W1989760056","https://openalex.org/W633549085"],"abstract_inverted_index":{"ML":[0,79,98,138],"modules":[1,22,34,184],"provide":[2,170],"hierarchical":[3,108],"namespace":[4],"management,":[5],"as":[6,8,151,185],"well":[7],"fine-grained":[9],"control":[10],"over":[11],"the":[12,57,85,97,119,131,137],"propagation":[13],"of":[14,38,60,84,121,136,154,158,204,240],"type":[15,53,173,228,233,243],"information,":[16],"but":[17,42,89],"they":[18,43],"do":[19,50],"not":[20,45,51,90],"allow":[21],"to":[23,145,237],"be":[24,148],"broken":[25],"up":[26],"into":[27,103,212],"mutually":[28],"recursive,":[29],"separately":[30,39],"compilable":[31],"components.":[32],"Mixin":[33],"facilitate":[35],"recursive":[36,116,227],"linking":[37],"compiled":[40],"components,":[41],"are":[44,87],"hierarchically":[46],"composable":[47],"and":[48,100,114,125,183,193,226,234,242],"typically":[49],"support":[52],"abstraction.":[54],"We":[55,169,188],"synthesize":[56],"complementary":[58],"advantages":[59],"these":[61],"two":[62,178],"mechanisms":[63],"in":[64,81],"a":[65,155,166,171,191,219,231],"novel":[66],"module":[67,75,139],"system":[68,140,174,236],"design":[69,120],"we":[70],"call":[71],"MixML.":[72],"A":[73],"MixML":[74,105,122,205],"is":[76,123,206],"like":[77],"an":[78,209,213],"structure":[80,99],"which":[82],"some":[83],"components":[86],"specified":[88],"defined.":[91],"In":[92],"other":[93],"words,":[94],"it":[95,127],"unifies":[96],"signature":[101],"languages":[102],"one.":[104],"seamlessly":[106],"integrates":[107],"composition,":[109],"translucent":[110],"ML-style":[111],"data":[112],"abstraction,":[113],"mixin-style":[115],"linking.":[117],"Moreover,":[118],"clean":[124],"minimalist;":[126],"emphasizes":[128],"how":[129],"all":[130],"salient,":[132],"semantically":[133],"interesting":[134],"features":[135],"(and":[141],"several":[142],"proposed":[143],"extensions":[144],"it)":[146],"can":[147],"understood":[149],"simply":[150],"stylized":[152],"uses":[153],"small":[156],"set":[157],"orthogonal":[159],"underlying":[160],"constructs,":[161],"with":[162,223],"mixin":[163],"composition":[164],"playing":[165],"central":[167],"role.":[168],"declarative":[172],"for":[175,198],"MixML,":[176],"including":[177],"important":[179],"extensions:":[180],"higher-order":[181],"modules,":[182],"first-class":[186],"values.":[187],"also":[189],"present":[190],"sound":[192],"complete,":[194],"three-pass":[195],"type-checking":[196],"algorithm":[197],"this":[199],"system.":[200],"The":[201],"operational":[202],"semantics":[203],"defined":[207],"by":[208],"elaboration":[210],"translation":[211],"internal":[214],"core":[215],"language":[216],"called":[217],"LTG---namely,":[218],"polymorphic":[220],"lambda":[221],"calculus":[222],"single-assignment":[224],"references":[225],"generativity---which":[229],"employs":[230],"linear":[232],"kind":[235],"track":[238],"definedness":[239],"term":[241],"imports.":[244]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":1},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":1},{"year":2020,"cited_by_count":1},{"year":2019,"cited_by_count":1},{"year":2018,"cited_by_count":3},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":4},{"year":2014,"cited_by_count":3},{"year":2013,"cited_by_count":1}],"updated_date":"2026-08-26T07:47:46.906454","created_date":"2025-10-10T00:00:00"}