{"id":"https://openalex.org/W2022683189","doi":"https://doi.org/10.1145/1291151.1291196","title":"A type system for recursive modules","display_name":"A type system for recursive modules","publication_year":2007,"publication_date":"2007-10-01","ids":{"openalex":"https://openalex.org/W2022683189","doi":"https://doi.org/10.1145/1291151.1291196","mag":"2022683189"},"language":"en","primary_location":{"id":"doi:10.1145/1291151.1291196","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1291151.1291196","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGPLAN international conference on Functional programming","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/A5050585539","display_name":"Derek Dreyer","orcid":"https://orcid.org/0000-0002-3884-6867"},"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":true,"raw_author_name":"Derek Dreyer","raw_affiliation_strings":["Toyota Technological Institute, Chicago, IL"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Toyota Technological Institute, Chicago, IL","institution_ids":["https://openalex.org/I160992636"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5050585539"],"corresponding_institution_ids":["https://openalex.org/I160992636"],"apc_list":null,"apc_paid":null,"fwci":2.0087,"has_fulltext":false,"cited_by_count":24,"citation_normalized_percentile":{"value":0.8787929,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":{"min":89,"max":97},"biblio":{"volume":null,"issue":null,"first_page":"289","last_page":"302"},"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.9965000152587891,"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/T11450","display_name":"Model-Driven Software Engineering Techniques","score":0.9916999936103821,"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/computer-science","display_name":"Computer science","score":0.5858721137046814},{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.493661493062973},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4403928816318512},{"id":"https://openalex.org/keywords/geology","display_name":"Geology","score":0.11158034205436707}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5858721137046814},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.493661493062973},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4403928816318512},{"id":"https://openalex.org/C127313418","wikidata":"https://www.wikidata.org/wiki/Q1069","display_name":"Geology","level":0,"score":0.11158034205436707},{"id":"https://openalex.org/C151730666","wikidata":"https://www.wikidata.org/wiki/Q7205","display_name":"Paleontology","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1291151.1291196","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1291151.1291196","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 12th ACM SIGPLAN international conference on Functional programming","raw_type":"proceedings-article"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.132.9862","is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.132.9862","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/~dreyer/papers/recmod/main-long.pdf","raw_type":"text"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W197885067","https://openalex.org/W1546727036","https://openalex.org/W1553136405","https://openalex.org/W1561824685","https://openalex.org/W1597824249","https://openalex.org/W1829244603","https://openalex.org/W1874841796","https://openalex.org/W1964952791","https://openalex.org/W2043261859","https://openalex.org/W2048569219","https://openalex.org/W2053070172","https://openalex.org/W2059054133","https://openalex.org/W2070880808","https://openalex.org/W2099305192","https://openalex.org/W2100562635","https://openalex.org/W2102976859","https://openalex.org/W2104204098","https://openalex.org/W2105045857","https://openalex.org/W2120047901","https://openalex.org/W2121993468","https://openalex.org/W2123727486","https://openalex.org/W2138130168","https://openalex.org/W2145945984","https://openalex.org/W2166715995","https://openalex.org/W2167017930","https://openalex.org/W2168529278","https://openalex.org/W2182192342","https://openalex.org/W4233881619","https://openalex.org/W4247176091","https://openalex.org/W6636083506"],"related_works":["https://openalex.org/W4243252198","https://openalex.org/W2118300983","https://openalex.org/W2112962394","https://openalex.org/W3137189469","https://openalex.org/W4235530921","https://openalex.org/W2382501300","https://openalex.org/W3162240892","https://openalex.org/W4245713008","https://openalex.org/W2013111119","https://openalex.org/W2047793074"],"abstract_inverted_index":{"There":[0],"has":[1],"been":[2],"much":[3],"work":[4],"in":[5,20,119,133,162,175],"recent":[6],"years":[7],"on":[8],"extending":[9],"ML":[10],"with":[11],"recursive":[12,81,96,107,159],"modules.":[13],"One":[14],"of":[15,23,36,60,74,79,113,128,141,149,166,177,181],"the":[16,21,28,34,53,58,70,77,114,125,143,146,164,167,178],"most":[17],"difficult":[18],"problems":[19],"development":[22],"such":[24],"an":[25],"extension":[26],"is":[27,98,131,170],"double":[29,54],"vision":[30,55],"problem,":[31],"which":[32,51,130,163],"concerns":[33],"interaction":[35],"recursion":[37],"and":[38,72,95,110,145,152],"data":[39,93],"abstraction.":[40],"In":[41,65],"previous":[42],"work,":[43],"I":[44,68,101,123],"defined":[45],"a":[46,61,80,154],"type":[47],"system":[48],"called":[49,85],"RTG,":[50],"solves":[52],"problem":[56],"at":[57],"level":[59,78],"System-F-style":[62],"core":[63],"calculus.":[64],"this":[66],"paper,":[67],"scale":[69],"ideas":[71],"techniques":[73],"RTG":[75],"to":[76],"ML-style":[82],"module":[83,160],"calculus":[84],"RMC,":[86,129],"thus":[87],"establishing":[88],"that":[89,117],"no":[90],"tradeoff":[91],"between":[92],"abstraction":[94],"modules":[97,108],"necessary.":[99],"First,":[100],"describe":[102],"RMC\u2019s":[103],"typing":[104],"rules":[105],"for":[106,158],"informally":[109],"discuss":[111],"some":[112],"design":[115],"questions":[116],"arose":[118],"developing":[120],"them.":[121],"Then,":[122],"present":[124],"formal":[126],"semantics":[127],"interesting":[132],"its":[134],"own":[135],"right.":[136],"The":[137],"formalization":[138],"synthesizes":[139],"aspects":[140],"both":[142],"Definition":[144],"Harper-Stone":[147],"interpretation":[148],"Standard":[150],"ML,":[151],"includes":[153],"novel":[155],"two-pass":[156],"algorithm":[157],"typechecking":[161],"coherence":[165],"two":[168],"passes":[169],"emphasized":[171],"by":[172],"their":[173],"representation":[174],"terms":[176],"same":[179],"set":[180],"inference":[182],"rules.":[183]},"counts_by_year":[{"year":2021,"cited_by_count":1},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":2},{"year":2016,"cited_by_count":2},{"year":2015,"cited_by_count":1},{"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"}