{"id":"https://openalex.org/W200299831","doi":null,"title":"A Generalized Let-Polymorphic Type Inference Algorithm","display_name":"A Generalized Let-Polymorphic Type Inference Algorithm","publication_year":2000,"publication_date":"2000-01-01","ids":{"openalex":"https://openalex.org/W200299831","mag":"200299831"},"language":"en","primary_location":{"id":"mag:200299831","doi":null,"is_oa":false,"landing_page_url":"http://ropas.snu.ac.kr/lib/dock/LeYi2000a.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null},"volume":null,"type":"article","is_traditional":true,"indexed_in":[],"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/A5025784016","display_name":"Ropas Memo","orcid":null,"observed_orcids":[]},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ropas Memo","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5041455165","display_name":"Oukseh Lee","orcid":null,"observed_orcids":[]},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Oukseh Lee","raw_affiliation_strings":["Korea Advanced Institute Of Science and Technology"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Korea Advanced Institute Of Science and Technology","institution_ids":["https://openalex.org/I157485424"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5101789148","display_name":"Kwangkeun Yi","orcid":"https://orcid.org/0009-0007-5027-2177","observed_orcids":["https://orcid.org/0009-0007-5027-2177"]},"institutions":[{"id":"https://openalex.org/I157485424","display_name":"Korea Advanced Institute of Science and Technology","ror":"https://ror.org/05apxxy63","country_code":"KR","type":"education","lineage":["https://openalex.org/I157485424"]}],"countries":["KR"],"is_corresponding":false,"raw_author_name":"Kwangkeun Yi","raw_affiliation_strings":["Korea Advanced Institute Of Science and Technology"],"raw_orcid":"https://orcid.org/0009-0007-5027-2177","affiliations":[{"raw_affiliation_string":"Korea Advanced Institute Of Science and Technology","institution_ids":["https://openalex.org/I157485424"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":3.1456,"has_fulltext":false,"cited_by_count":21,"citation_normalized_percentile":{"value":0.90585071,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":96},"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"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/T11567","display_name":"semigroups and automata theory","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/T10034","display_name":"Syntax, Semantics, Linguistic Variation","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1203","display_name":"Language and Linguistics"},"field":{"id":"https://openalex.org/fields/12","display_name":"Arts and Humanities"},"domain":{"id":"https://openalex.org/domains/2","display_name":"Social Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.9570000171661377},{"id":"https://openalex.org/keywords/hindley-milner-type-system","display_name":"Hindley-Milner type system","score":0.8999999761581421},{"id":"https://openalex.org/keywords/soundness-and-completeness","display_name":"soundness and completeness","score":0.8320000171661377},{"id":"https://openalex.org/keywords/ocaml","display_name":"OCaml","score":0.9980000257492065}],"concepts":[{"id":"https://openalex.org/C11413529","wikidata":"https://www.wikidata.org/wiki/Q8366","display_name":"Algorithm","level":1,"score":0.779664158821106},{"id":"https://openalex.org/C39920170","wikidata":"https://www.wikidata.org/wiki/Q693083","display_name":"Soundness","level":2,"score":0.7458149790763855},{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.6744421720504761},{"id":"https://openalex.org/C17231256","wikidata":"https://www.wikidata.org/wiki/Q5156540","display_name":"Completeness (order theory)","level":2,"score":0.5887842774391174},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.5797134041786194},{"id":"https://openalex.org/C2777299769","wikidata":"https://www.wikidata.org/wiki/Q3707858","display_name":"Type (biology)","level":2,"score":0.568572998046875},{"id":"https://openalex.org/C20528804","wikidata":"https://www.wikidata.org/wiki/Q997433","display_name":"Dependent type","level":3,"score":0.48014041781425476},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.43398264050483704},{"id":"https://openalex.org/C177264268","wikidata":"https://www.wikidata.org/wiki/Q1514741","display_name":"Set (abstract data type)","level":2,"score":0.42725086212158203},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.3399589955806732},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.24964869022369385},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.1490735113620758},{"id":"https://openalex.org/C135790938","wikidata":"https://www.wikidata.org/wiki/Q242028","display_name":"Lambda calculus","level":2,"score":0.14410710334777832},{"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/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":1,"locations":[{"id":"mag:200299831","doi":null,"is_oa":false,"landing_page_url":"http://ropas.snu.ac.kr/lib/dock/LeYi2000a.pdf","pdf_url":null,"source":null,"license":null,"license_id":null,"version":null,"is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":null}],"best_oa_location":null,"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W38402508","https://openalex.org/W1964952791","https://openalex.org/W2022443117","https://openalex.org/W2032851831","https://openalex.org/W2100738443","https://openalex.org/W2163976959","https://openalex.org/W2166822586","https://openalex.org/W2168280960","https://openalex.org/W2484245539"],"related_works":["https://openalex.org/W1980574179","https://openalex.org/W7097437903","https://openalex.org/W205132464","https://openalex.org/W2396973496","https://openalex.org/W2168280960","https://openalex.org/W7100580075","https://openalex.org/W1543895987","https://openalex.org/W2237246109","https://openalex.org/W7096111001","https://openalex.org/W7118221816"],"abstract_inverted_index":{"We":[0],"present":[1],"a":[2,28,121],"generalized":[3,49,118],"let-polymorphic":[4,23],"type":[5,24,40],"inference":[6],"algorithm,":[7],"prove":[8],"that":[9,35,80,114],"any":[10],"of":[11,111,123],"its":[12],"instances":[13],"is":[14,120],"sound":[15],"and":[16,26,68,100,134],"complete":[17],"with":[18,51],"respect":[19],"to":[20],"the":[21,44,48,59,69,117,127],"Hindley/Milner":[22],"system,":[25],"find":[27,39],"condition":[29],"on":[30],"two":[31,60,128],"instance":[32],"algorithms":[33,62,79,113],"so":[34],"one":[36],"algorithm":[37,50,72,119],"should":[38],"errors":[41],"earlier":[42],"than":[43],"other.":[45],"By":[46],"instantiating":[47],"different":[52],"parameters,":[53],"we":[54],"can":[55],"achieve":[56],"not":[57],"only":[58],"opposite":[61],"(the":[63],"bottom-up":[64],"standard":[65],"Algorithm":[66],"W":[67],"top-down":[70],"folklore":[71],"M)":[73],"but":[74],"also":[75],"other":[76],"various":[77],"hybrid":[78,96,112],"avoid":[81],"their":[82,101],"extremities":[83],"in":[84,104,126],"type-checking":[85],"(W":[86],"fails":[87,92],"too":[88,93],"late,":[89],"while":[90],"M":[91],"early).":[94],"Such":[95],"algorithms\u2019":[97],"soundness,":[98],"completeness,":[99],"relative":[102],"earliness":[103],"detecting":[105],"type-errors":[106],"follow":[107],"automatically.":[108],"The":[109],"set":[110],"come":[115],"from":[116],"superset":[122],"those":[124],"used":[125],"most":[129],"popular":[130],"ML":[131],"compilers,":[132],"SML/NJ":[133],"OCaml.":[135]},"counts_by_year":[{"year":2019,"cited_by_count":1},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":1},{"year":2015,"cited_by_count":1},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1}],"updated_date":"2026-09-29T14:09:16.559479","created_date":"2016-06-24T00:00:00"}