{"id":"https://openalex.org/W2056253254","doi":"https://doi.org/10.1145/567067.567077","title":"Polymorphic type inference","display_name":"Polymorphic type inference","publication_year":1983,"publication_date":"1983-01-01","ids":{"openalex":"https://openalex.org/W2056253254","doi":"https://doi.org/10.1145/567067.567077","mag":"2056253254"},"language":"en","primary_location":{"id":"doi:10.1145/567067.567077","doi":"https://doi.org/10.1145/567067.567077","is_oa":true,"landing_page_url":"https://doi.org/10.1145/567067.567077","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/567067.567077","source":{"id":"https://openalex.org/S7407088133","display_name":"ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83","raw_type":"proceedings-article"},"volume":null,"type":"conference-paper","is_traditional":true,"indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"bronze","oa_url":"https://dl.acm.org/doi/pdf/10.1145/567067.567077","any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5018841823","display_name":"Daniel M. Leivant","orcid":"https://orcid.org/0000-0003-4041-4382","observed_orcids":["https://orcid.org/0000-0003-4041-4382"]},"institutions":[{"id":"https://openalex.org/I74973139","display_name":"Carnegie Mellon University","ror":"https://ror.org/05x2bcf33","country_code":"US","type":"education","lineage":["https://openalex.org/I74973139"]}],"countries":["US"],"is_corresponding":true,"raw_author_name":"Daniel Leivant","raw_affiliation_strings":["Carnegie-Mellon University"],"raw_orcid":null,"affiliations":[{"raw_affiliation_string":"Carnegie-Mellon University","institution_ids":["https://openalex.org/I74973139"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5018841823"],"corresponding_institution_ids":["https://openalex.org/I74973139"],"apc_list":null,"apc_paid":null,"fwci":5.2952,"has_fulltext":true,"cited_by_count":184,"citation_normalized_percentile":{"value":0.96575342,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":88,"max":98},"biblio":{"volume":null,"issue":null,"first_page":"88","last_page":"98"},"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/T11975","display_name":"Evolutionary Algorithms and Applications","score":0.0,"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/T10743","display_name":"Software Testing and Debugging Techniques","score":0.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"}}],"keywords":[{"id":"https://openalex.org/keywords/polymorphic-type-inference","display_name":"polymorphic type inference","score":0.9599999785423279},{"id":"https://openalex.org/keywords/strong-typing","display_name":"strong typing","score":0.7699999809265137},{"id":"https://openalex.org/keywords/functional-programming-languages","display_name":"functional programming languages","score":0.925000011920929},{"id":"https://openalex.org/keywords/ml","display_name":"ML","score":0.6420000195503235},{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.6660000085830688},{"id":"https://openalex.org/keywords/interactive-programming-environment","display_name":"interactive programming environment","score":0.7609999775886536},{"id":"https://openalex.org/keywords/program-verification","display_name":"program verification","score":0.45899999141693115}],"concepts":[{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.9239329099655151},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8624758720397949},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.819675087928772},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6967107057571411},{"id":"https://openalex.org/C168065819","wikidata":"https://www.wikidata.org/wiki/Q845566","display_name":"Debugging","level":2,"score":0.5422267913818359},{"id":"https://openalex.org/C169590947","wikidata":"https://www.wikidata.org/wiki/Q47506","display_name":"Compiler","level":2,"score":0.5272295475006104},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5254920125007629},{"id":"https://openalex.org/C2780801425","wikidata":"https://www.wikidata.org/wiki/Q5164392","display_name":"Construct (python library)","level":2,"score":0.49569928646087646},{"id":"https://openalex.org/C186644900","wikidata":"https://www.wikidata.org/wiki/Q194152","display_name":"Parsing","level":2,"score":0.46817654371261597},{"id":"https://openalex.org/C68859911","wikidata":"https://www.wikidata.org/wiki/Q1503724","display_name":"Pattern matching","level":2,"score":0.44289886951446533},{"id":"https://openalex.org/C200833197","wikidata":"https://www.wikidata.org/wiki/Q333707","display_name":"Compile time","level":3,"score":0.41561001539230347},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.41415634751319885},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.31461066007614136}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/567067.567077","doi":"https://doi.org/10.1145/567067.567077","is_oa":true,"landing_page_url":"https://doi.org/10.1145/567067.567077","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/567067.567077","source":{"id":"https://openalex.org/S7407088133","display_name":"ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.1145/567067.567077","doi":"https://doi.org/10.1145/567067.567077","is_oa":true,"landing_page_url":"https://doi.org/10.1145/567067.567077","pdf_url":"https://dl.acm.org/doi/pdf/10.1145/567067.567077","source":{"id":"https://openalex.org/S7407088133","display_name":"ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"conference"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 10th ACM SIGACT-SIGPLAN symposium on Principles of programming languages - POPL '83","raw_type":"proceedings-article"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W2056253254.pdf","grobid_xml":"https://content.openalex.org/works/W2056253254.grobid-xml"},"referenced_works_count":19,"referenced_works":["https://openalex.org/W139832361","https://openalex.org/W1509994893","https://openalex.org/W1529526858","https://openalex.org/W1595372275","https://openalex.org/W1969397726","https://openalex.org/W1970227944","https://openalex.org/W1972845724","https://openalex.org/W1981303668","https://openalex.org/W1990664555","https://openalex.org/W2019376542","https://openalex.org/W2095405219","https://openalex.org/W2100738443","https://openalex.org/W2106718208","https://openalex.org/W2119240423","https://openalex.org/W2154273644","https://openalex.org/W2154286778","https://openalex.org/W2161122997","https://openalex.org/W2163976959","https://openalex.org/W2166822586"],"related_works":["https://openalex.org/W1999764179","https://openalex.org/W2062730120","https://openalex.org/W1967314639","https://openalex.org/W2886025031","https://openalex.org/W7096045061","https://openalex.org/W2134658687","https://openalex.org/W176902785","https://openalex.org/W2110135416","https://openalex.org/W7097999905","https://openalex.org/W2007313703"],"abstract_inverted_index":{"The":[0],"benefits":[1],"of":[2,71,117,133],"strong":[3],"typing":[4,20],"to":[5,8,13,52,75,96],"disciplined":[6],"programming,":[7,106],"compile-time":[9],"error":[10,154],"detection":[11,155],"and":[12,36,54,78,156],"program":[14,43,60],"verification":[15],"are":[16,67,120],"well":[17],"known.":[18],"Strong":[19],"is":[21,32,39,147],"especially":[22],"natural":[23],"for":[24,137,151],"functional":[25,59,130,140],"(applicative)":[26],"languages,":[27],"in":[28,57,113],"which":[29,114],"function":[30],"application":[31],"the":[33,69,87,103,115,123,126,134,138],"central":[34],"construct,":[35],"type":[37,51,74],"matching":[38],"therefore":[40,95],"a":[41,50,58,73,144],"principal":[42],"correctness":[44],"check.":[45],"In":[46],"practice,":[47],"however,":[48],"assigning":[49,72],"each":[53,76],"every":[55],"expression":[56,77],"can":[61],"be":[62],"prohibitively":[63],"cumbersome.":[64],"As":[65],"expressions":[66,119],"compounded,":[68],"task":[70],"subexpression":[79],"becomes":[80,93],"practically":[81],"impossible,":[82],"even":[83],"more":[84],"so":[85],"because":[86],"type-expressions":[88],"themselves":[89],"grow":[90],"longer.":[91],"It":[92],"imperative":[94],"design":[97],"friendly":[98],"programming":[99,131,141],"environments":[100,132],"that":[101,108],"permit":[102],"user":[104],"type-free":[105],"but":[107],"generate":[109],"fully":[110],"typed":[111],"programs":[112],"types":[116],"all":[118],"inferred":[121],"by":[122],"system":[124,146],"from":[125],"program.":[127],"For":[128],"interactive":[129],"kind":[135],"implemented":[136],"Edinburgh":[139],"language":[142],"ML,":[143],"type-inference":[145],"an":[148],"invaluable":[149],"tool":[150],"on-line":[152],"parse-time":[153],"debugging.":[157]},"counts_by_year":[{"year":2026,"cited_by_count":3},{"year":2024,"cited_by_count":3},{"year":2023,"cited_by_count":1},{"year":2022,"cited_by_count":2},{"year":2021,"cited_by_count":3},{"year":2020,"cited_by_count":3},{"year":2019,"cited_by_count":2},{"year":2018,"cited_by_count":2},{"year":2017,"cited_by_count":3},{"year":2016,"cited_by_count":2},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":5}],"updated_date":"2026-11-07T11:25:07.637180","created_date":"2016-06-24T00:00:00"}