{"id":"https://openalex.org/W2048223797","doi":"https://doi.org/10.1145/1708016.1708028","title":"F-ing modules","display_name":"F-ing modules","publication_year":2010,"publication_date":"2010-01-23","ids":{"openalex":"https://openalex.org/W2048223797","doi":"https://doi.org/10.1145/1708016.1708028","mag":"2048223797"},"language":"en","primary_location":{"id":"doi:10.1145/1708016.1708028","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1708016.1708028","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation","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/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"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081301440","display_name":"Claudio Russo","orcid":"https://orcid.org/0000-0003-4877-2424"},"institutions":[{"id":"https://openalex.org/I1290206253","display_name":"Microsoft (United States)","ror":"https://ror.org/00d0nc645","country_code":"US","type":"company","lineage":["https://openalex.org/I1290206253"]},{"id":"https://openalex.org/I4210164937","display_name":"Microsoft Research (United Kingdom)","ror":"https://ror.org/05k87vq12","country_code":"GB","type":"company","lineage":["https://openalex.org/I1290206253","https://openalex.org/I4210164937"]}],"countries":["GB","US"],"is_corresponding":false,"raw_author_name":"Claudio V. Russo","raw_affiliation_strings":["Microsoft Research, Cambridge, United Kingdom","Microsoft Research, Cambridge, United Kingdom ("],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Microsoft Research, Cambridge, United Kingdom","institution_ids":["https://openalex.org/I4210164937"]},{"raw_affiliation_string":"Microsoft Research, Cambridge, United Kingdom (","institution_ids":["https://openalex.org/I1290206253"]}]},{"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/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"]}]}],"institutions":[],"countries_distinct_count":3,"institutions_distinct_count":3,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":4.3594,"has_fulltext":false,"cited_by_count":29,"citation_normalized_percentile":{"value":0.95643005,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":94,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"89","last_page":"102"},"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/T10142","display_name":"Formal Methods in Verification","score":0.9948999881744385,"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.9921000003814697,"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.7403213977813721},{"id":"https://openalex.org/keywords/elaboration","display_name":"Elaboration","score":0.6638481616973877},{"id":"https://openalex.org/keywords/semantics","display_name":"Semantics (computer science)","score":0.6434888243675232},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.5967216491699219},{"id":"https://openalex.org/keywords/reputation","display_name":"Reputation","score":0.586916446685791},{"id":"https://openalex.org/keywords/process","display_name":"Process (computing)","score":0.5088841915130615},{"id":"https://openalex.org/keywords/meaning","display_name":"Meaning (existential)","score":0.5046616792678833},{"id":"https://openalex.org/keywords/simple","display_name":"Simple (philosophy)","score":0.46275803446769714},{"id":"https://openalex.org/keywords/order","display_name":"Order (exchange)","score":0.4536362290382385},{"id":"https://openalex.org/keywords/translation","display_name":"Translation (biology)","score":0.4224385619163513},{"id":"https://openalex.org/keywords/linguistics","display_name":"Linguistics","score":0.3319353461265564},{"id":"https://openalex.org/keywords/natural-language-processing","display_name":"Natural language processing","score":0.323600709438324},{"id":"https://openalex.org/keywords/humanities","display_name":"Humanities","score":0.071809321641922},{"id":"https://openalex.org/keywords/philosophy","display_name":"Philosophy","score":0.06753221154212952}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7403213977813721},{"id":"https://openalex.org/C2779192218","wikidata":"https://www.wikidata.org/wiki/Q16944486","display_name":"Elaboration","level":2,"score":0.6638481616973877},{"id":"https://openalex.org/C184337299","wikidata":"https://www.wikidata.org/wiki/Q1437428","display_name":"Semantics (computer science)","level":2,"score":0.6434888243675232},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5967216491699219},{"id":"https://openalex.org/C48798503","wikidata":"https://www.wikidata.org/wiki/Q877546","display_name":"Reputation","level":2,"score":0.586916446685791},{"id":"https://openalex.org/C98045186","wikidata":"https://www.wikidata.org/wiki/Q205663","display_name":"Process (computing)","level":2,"score":0.5088841915130615},{"id":"https://openalex.org/C2780876879","wikidata":"https://www.wikidata.org/wiki/Q3054749","display_name":"Meaning (existential)","level":2,"score":0.5046616792678833},{"id":"https://openalex.org/C2780586882","wikidata":"https://www.wikidata.org/wiki/Q7520643","display_name":"Simple (philosophy)","level":2,"score":0.46275803446769714},{"id":"https://openalex.org/C182306322","wikidata":"https://www.wikidata.org/wiki/Q1779371","display_name":"Order (exchange)","level":2,"score":0.4536362290382385},{"id":"https://openalex.org/C149364088","wikidata":"https://www.wikidata.org/wiki/Q185917","display_name":"Translation (biology)","level":4,"score":0.4224385619163513},{"id":"https://openalex.org/C41895202","wikidata":"https://www.wikidata.org/wiki/Q8162","display_name":"Linguistics","level":1,"score":0.3319353461265564},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.323600709438324},{"id":"https://openalex.org/C15708023","wikidata":"https://www.wikidata.org/wiki/Q80083","display_name":"Humanities","level":1,"score":0.071809321641922},{"id":"https://openalex.org/C138885662","wikidata":"https://www.wikidata.org/wiki/Q5891","display_name":"Philosophy","level":0,"score":0.06753221154212952},{"id":"https://openalex.org/C105580179","wikidata":"https://www.wikidata.org/wiki/Q188928","display_name":"Messenger RNA","level":3,"score":0.0},{"id":"https://openalex.org/C36289849","wikidata":"https://www.wikidata.org/wiki/Q34749","display_name":"Social science","level":1,"score":0.0},{"id":"https://openalex.org/C10138342","wikidata":"https://www.wikidata.org/wiki/Q43015","display_name":"Finance","level":1,"score":0.0},{"id":"https://openalex.org/C144024400","wikidata":"https://www.wikidata.org/wiki/Q21201","display_name":"Sociology","level":0,"score":0.0},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","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/C55493867","wikidata":"https://www.wikidata.org/wiki/Q7094","display_name":"Biochemistry","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":1,"locations":[{"id":"doi:10.1145/1708016.1708028","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1708016.1708028","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 5th ACM SIGPLAN workshop on Types in language design and implementation","raw_type":"proceedings-article"}],"best_oa_location":null,"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6800000071525574,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":51,"referenced_works":["https://openalex.org/W80198721","https://openalex.org/W1546727036","https://openalex.org/W1557254125","https://openalex.org/W1560253649","https://openalex.org/W1561824685","https://openalex.org/W1567587382","https://openalex.org/W1578268413","https://openalex.org/W1581498582","https://openalex.org/W1597824249","https://openalex.org/W1720741243","https://openalex.org/W1725475383","https://openalex.org/W1740526726","https://openalex.org/W1829244603","https://openalex.org/W1874841796","https://openalex.org/W1904607413","https://openalex.org/W1970031091","https://openalex.org/W1970673141","https://openalex.org/W1980302687","https://openalex.org/W1987755707","https://openalex.org/W2003298503","https://openalex.org/W2014889169","https://openalex.org/W2022683189","https://openalex.org/W2025431400","https://openalex.org/W2033348393","https://openalex.org/W2037881889","https://openalex.org/W2048569219","https://openalex.org/W2052822938","https://openalex.org/W2053070172","https://openalex.org/W2059054133","https://openalex.org/W2074674709","https://openalex.org/W2100559921","https://openalex.org/W2101005398","https://openalex.org/W2102185243","https://openalex.org/W2104204098","https://openalex.org/W2121993468","https://openalex.org/W2125690388","https://openalex.org/W2127600624","https://openalex.org/W2129991479","https://openalex.org/W2133171398","https://openalex.org/W2133639043","https://openalex.org/W2138130168","https://openalex.org/W2145945984","https://openalex.org/W2161017670","https://openalex.org/W2165264979","https://openalex.org/W2167017930","https://openalex.org/W2548243341","https://openalex.org/W2586148739","https://openalex.org/W3163573021","https://openalex.org/W4256573185","https://openalex.org/W6637644237","https://openalex.org/W6678232675"],"related_works":["https://openalex.org/W2360463189","https://openalex.org/W2243483294","https://openalex.org/W2737431228","https://openalex.org/W3152809308","https://openalex.org/W2022412634","https://openalex.org/W4238533886","https://openalex.org/W2133995770","https://openalex.org/W2067521059","https://openalex.org/W3135310323","https://openalex.org/W2359791504"],"abstract_inverted_index":{"ML":[0,110],"modules":[1,111],"are":[2,112],"a":[3,17,68,74,89,114],"powerful":[4],"language":[5],"mechanism":[6],"for":[7,19,73],"decomposing":[8],"programs":[9],"into":[10,93],"reusable":[11],"components.":[12],"Unfortunately,":[13],"they":[14],"also":[15],"have":[16,45],"reputation":[18,35],"being":[20],"\"complex\"":[21],"and":[22],"requiring":[23],"fancy":[24],"type":[25],"theory":[26],"that":[27,44,59,109],"is":[28,36,61],"mostly":[29],"opaque":[30],"to":[31,57],"non-experts.":[32],"While":[33],"this":[34],"certainly":[37],"understandable,":[38],"given":[39],"the":[40,49,83],"many":[41],"non-standard":[42],"methodologies":[43],"been":[46],"developed":[47],"in":[48],"process":[50],"of":[51,85,117,119],"studying":[52],"modules,":[53],"we":[54,66],"aim":[55],"here":[56],"demonstrate":[58],"it":[60],"undeserved.":[62],"To":[63],"do":[64],"so,":[65],"give":[67],"very":[69],"simple":[70],"elaboration":[71,81],"semantics":[72],"full-featured,":[75],"higher-order":[76,98],"ML-like":[77],"module":[78,86],"language.":[79],"Our":[80],"defines":[82],"meaning":[84],"expressions":[87],"by":[88],"straightforward,":[90],"compositional":[91],"translation":[92],"vanilla":[94],"System":[95,120],"F-\u03c9":[96,103],"(the":[97],"polymorphic":[99],"\u03bb-calculus),":[100],"under":[101],"plain":[102],"typing":[104],"environments.":[105],"We":[106],"thereby":[107],"show":[108],"merely":[113],"particular":[115],"mode":[116],"use":[118],"F-\u03c9.":[121]},"counts_by_year":[{"year":2025,"cited_by_count":2},{"year":2024,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":3},{"year":2014,"cited_by_count":4},{"year":2013,"cited_by_count":5},{"year":2012,"cited_by_count":5}],"updated_date":"2026-07-29T14:22:42.915294","created_date":"2016-06-24T00:00:00"}