{"id":"https://openalex.org/W3018033251","doi":"https://doi.org/10.1145/3385412.3385997","title":"Typilus: neural type hints","display_name":"Typilus: neural type hints","publication_year":2020,"publication_date":"2020-06-07","ids":{"openalex":"https://openalex.org/W3018033251","doi":"https://doi.org/10.1145/3385412.3385997","mag":"3018033251"},"language":"en","primary_location":{"id":"doi:10.1145/3385412.3385997","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3385997","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},"type":"article","indexed_in":["arxiv","crossref"],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://arxiv.org/pdf/2004.10657","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":null,"display_name":"Miltiadis Allamanis","orcid":null},"institutions":[{"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"],"is_corresponding":true,"raw_author_name":"Miltiadis Allamanis","raw_affiliation_strings":["Microsoft Research, UK"],"affiliations":[{"raw_affiliation_string":"Microsoft Research, UK","institution_ids":["https://openalex.org/I4210164937"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Earl T. Barr","orcid":null},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Earl T. Barr","raw_affiliation_strings":["University College London, UK"],"affiliations":[{"raw_affiliation_string":"University College London, UK","institution_ids":["https://openalex.org/I45129253"]}]},{"author_position":"middle","author":{"id":null,"display_name":"Soline Ducousso","orcid":null},"institutions":[{"id":"https://openalex.org/I201181511","display_name":"\u00c9cole Nationale Sup\u00e9rieure de Techniques Avanc\u00e9es","ror":"https://ror.org/0309cs235","country_code":"FR","type":"education","lineage":["https://openalex.org/I201181511","https://openalex.org/I4210145102"]}],"countries":["FR"],"is_corresponding":false,"raw_author_name":"Soline Ducousso","raw_affiliation_strings":["ENSTA Paris, France"],"affiliations":[{"raw_affiliation_string":"ENSTA Paris, France","institution_ids":["https://openalex.org/I201181511"]}]},{"author_position":"last","author":{"id":null,"display_name":"Zheng Gao","orcid":null},"institutions":[{"id":"https://openalex.org/I45129253","display_name":"University College London","ror":"https://ror.org/02jx3x895","country_code":"GB","type":"education","lineage":["https://openalex.org/I124357947","https://openalex.org/I45129253"]}],"countries":["GB"],"is_corresponding":false,"raw_author_name":"Zheng Gao","raw_affiliation_strings":["University College London, UK"],"affiliations":[{"raw_affiliation_string":"University College London, UK","institution_ids":["https://openalex.org/I45129253"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":["https://openalex.org/I4210164937"],"apc_list":null,"apc_paid":null,"fwci":5.8305,"has_fulltext":false,"cited_by_count":85,"citation_normalized_percentile":{"value":0.97490852,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":100},"biblio":{"volume":null,"issue":null,"first_page":"91","last_page":"105"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10423","display_name":"Neurobiology and Insect Physiology Research","score":0.9782000184059143,"subfield":{"id":"https://openalex.org/subfields/2804","display_name":"Cellular and Molecular Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},"topics":[{"id":"https://openalex.org/T10423","display_name":"Neurobiology and Insect Physiology Research","score":0.9782000184059143,"subfield":{"id":"https://openalex.org/subfields/2804","display_name":"Cellular and Molecular Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}},{"id":"https://openalex.org/T12142","display_name":"Marine Invertebrate Physiology and Ecology","score":0.9146999716758728,"subfield":{"id":"https://openalex.org/subfields/1911","display_name":"Paleontology"},"field":{"id":"https://openalex.org/fields/19","display_name":"Earth and Planetary Sciences"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10914","display_name":"Tactile and Sensory Interactions","score":0.907800018787384,"subfield":{"id":"https://openalex.org/subfields/2805","display_name":"Cognitive Neuroscience"},"field":{"id":"https://openalex.org/fields/28","display_name":"Neuroscience"},"domain":{"id":"https://openalex.org/domains/1","display_name":"Life Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/type","display_name":"Type (biology)","score":0.5950000286102295},{"id":"https://openalex.org/keywords/inference","display_name":"Inference","score":0.4715999960899353},{"id":"https://openalex.org/keywords/artificial-neural-network","display_name":"Artificial neural network","score":0.45669999718666077},{"id":"https://openalex.org/keywords/vocabulary","display_name":"Vocabulary","score":0.45399999618530273},{"id":"https://openalex.org/keywords/python","display_name":"Python (programming language)","score":0.4512999951839447},{"id":"https://openalex.org/keywords/annotation","display_name":"Annotation","score":0.36250001192092896}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6830999851226807},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.621999979019165},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.5950000286102295},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.4715999960899353},{"id":"https://openalex.org/C50644808","wikidata":"https://www.wikidata.org/wiki/Q192776","display_name":"Artificial neural network","level":2,"score":0.45669999718666077},{"id":"https://openalex.org/C2777601683","wikidata":"https://www.wikidata.org/wiki/Q6499736","display_name":"Vocabulary","level":2,"score":0.45399999618530273},{"id":"https://openalex.org/C519991488","wikidata":"https://www.wikidata.org/wiki/Q28865","display_name":"Python (programming language)","level":2,"score":0.4512999951839447},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.4147000014781952},{"id":"https://openalex.org/C2776321320","wikidata":"https://www.wikidata.org/wiki/Q857525","display_name":"Annotation","level":2,"score":0.36250001192092896},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.3513000011444092},{"id":"https://openalex.org/C103278499","wikidata":"https://www.wikidata.org/wiki/Q254465","display_name":"Similarity (geometry)","level":3,"score":0.32899999618530273},{"id":"https://openalex.org/C132525143","wikidata":"https://www.wikidata.org/wiki/Q141488","display_name":"Graph","level":2,"score":0.3147999942302704},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.29280000925064087},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.28369998931884766},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.2741999924182892},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.2734000086784363},{"id":"https://openalex.org/C2778572836","wikidata":"https://www.wikidata.org/wiki/Q380933","display_name":"Space (punctuation)","level":2,"score":0.2621999979019165}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/3385412.3385997","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3385412.3385997","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 41st ACM SIGPLAN Conference on Programming Language Design and Implementation","raw_type":"proceedings-article"},{"id":"pmh:oai:arXiv.org:2004.10657","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2004.10657","pdf_url":"https://arxiv.org/pdf/2004.10657","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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"}],"best_oa_location":{"id":"pmh:oai:arXiv.org:2004.10657","is_oa":true,"landing_page_url":"http://arxiv.org/abs/2004.10657","pdf_url":"https://arxiv.org/pdf/2004.10657","source":{"id":"https://openalex.org/S4306400194","display_name":"arXiv (Cornell University)","issn_l":null,"issn":null,"is_oa":true,"is_in_doaj":false,"is_core":false,"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"},"sustainable_development_goals":[],"awards":[{"id":"https://openalex.org/G2818692517","display_name":null,"funder_award_id":"EP/P005659/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G6794522244","display_name":null,"funder_award_id":"EP/J017515/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"},{"id":"https://openalex.org/G960584970","display_name":null,"funder_award_id":"P/J017515/1","funder_id":"https://openalex.org/F4320334627","funder_display_name":"Engineering and Physical Sciences Research Council"}],"funders":[{"id":"https://openalex.org/F4320334627","display_name":"Engineering and Physical Sciences Research Council","ror":"https://ror.org/0439y7842"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":30,"referenced_works":["https://openalex.org/W2010608861","https://openalex.org/W2138621090","https://openalex.org/W2140021378","https://openalex.org/W2140609933","https://openalex.org/W2142403498","https://openalex.org/W2148190602","https://openalex.org/W2156981320","https://openalex.org/W2295415424","https://openalex.org/W2467139031","https://openalex.org/W2516621648","https://openalex.org/W2617588282","https://openalex.org/W2740130862","https://openalex.org/W2740220421","https://openalex.org/W2750919941","https://openalex.org/W2760972573","https://openalex.org/W2762844179","https://openalex.org/W2887364112","https://openalex.org/W2892187814","https://openalex.org/W2899272441","https://openalex.org/W2899384793","https://openalex.org/W2899469232","https://openalex.org/W2953940813","https://openalex.org/W2954738632","https://openalex.org/W2954950681","https://openalex.org/W2963935794","https://openalex.org/W2964150020","https://openalex.org/W2973871154","https://openalex.org/W2979792666","https://openalex.org/W3005855585","https://openalex.org/W4243700390"],"related_works":[],"abstract_inverted_index":{"Type":[0],"inference":[1],"over":[2,27],"partial":[3],"contexts":[4],"in":[5,92],"dynamically":[6],"typed":[7],"languages":[8],"is":[9],"challenging.":[10],"In":[11],"this":[12],"work,":[13],"we":[14],"present":[15],"a":[16,28,42,45,63,125],"graph":[17],"neural":[18],"network":[19,35],"model":[20,71],"that":[21,96,107,127,157],"predicts":[22,110,114,124],"types":[23,53,115],"by":[24],"probabilistically":[25],"reasoning":[26],"program\u2019s":[29],"structure,":[30],"names,":[31],"and":[32,55,85,145,151],"patterns.":[33],"The":[34],"uses":[36],"deep":[37],"similarity":[38],"learning":[39,75],"to":[40,57,76],"learn":[41],"TypeSpace":[43,99],"\u2014":[44,54],"continuous":[46],"relaxation":[47],"of":[48,52,62,81,118,133],"the":[49,59,98,134,159],"discrete":[50],"space":[51],"how":[56],"embed":[58],"type":[60,103,128,130,141],"properties":[61],"symbol":[64],"(i.e.":[65],"identifier)":[66],"into":[67],"it.":[68],"Importantly,":[69],"our":[70,90,154],"can":[72,137],"employ":[73],"one-shot":[74],"predict":[77],"an":[78,101],"open":[79,147],"vocabulary":[80],"types,":[82],"including":[83],"rare":[84],"user-defined":[86],"ones.":[87],"We":[88,105],"realise":[89],"approach":[91],"Typilus":[93,108,112,136,162],"for":[94,116],"Python":[95],"combines":[97],"with":[100],"optional":[102],"checker.":[104],"show":[106],"accurately":[109],"types.":[111],"confidently":[113],"70%":[117],"all":[119],"annotatable":[120],"symbols;":[121],"when":[122],"it":[123],"type,":[126],"optionally":[129],"checks":[131],"95%":[132],"time.":[135],"also":[138],"find":[139],"incorrect":[140],"annotations;":[142],"two":[143],"important":[144],"popular":[146],"source":[148],"libraries,":[149],"fairseq":[150],"allennlp,":[152],"accepted":[153],"pull":[155],"requests":[156],"fixed":[158],"annotation":[160],"errors":[161],"discovered.":[163]},"counts_by_year":[{"year":2025,"cited_by_count":11},{"year":2024,"cited_by_count":18},{"year":2023,"cited_by_count":22},{"year":2022,"cited_by_count":22},{"year":2021,"cited_by_count":11},{"year":2020,"cited_by_count":1}],"updated_date":"2026-04-09T08:11:56.329763","created_date":"2020-05-01T00:00:00"}