{"id":"https://openalex.org/W1485257692","doi":null,"title":"Programming with Polymorphic Variants","display_name":"Programming with Polymorphic Variants","publication_year":2010,"publication_date":"2010-01-01","ids":{"openalex":"https://openalex.org/W1485257692","mag":"1485257692"},"language":"en","primary_location":{"id":"pmh:oai:CiteSeerX.psu:10.1.1.419.3893","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.419.3893","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.nagoya-u.ac.jp/~garrigue/papers/variants-us.pdf","raw_type":"text"},"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/A5089640715","display_name":"Jacques Garrigue","orcid":"https://orcid.org/0000-0001-8056-5519","observed_orcids":["https://orcid.org/0000-0001-8056-5519"]},"institutions":[{"id":"https://openalex.org/I22299242","display_name":"Kyoto University","ror":"https://ror.org/02kpeqv85","country_code":"JP","type":"education","lineage":["https://openalex.org/I22299242"]}],"countries":["JP"],"is_corresponding":true,"raw_author_name":"Jacques Garrigue","raw_affiliation_strings":["Kyoto univ"],"raw_orcid":"https://orcid.org/0000-0001-8056-5519","affiliations":[{"raw_affiliation_string":"Kyoto univ","institution_ids":["https://openalex.org/I22299242"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5089640715"],"corresponding_institution_ids":["https://openalex.org/I22299242"],"apc_list":null,"apc_paid":null,"fwci":9.1424,"has_fulltext":false,"cited_by_count":44,"citation_normalized_percentile":{"value":0.975069,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":92,"max":98},"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/T10317","display_name":"Advanced Database Systems and Queries","score":0.0,"subfield":{"id":"https://openalex.org/subfields/1710","display_name":"Information Systems"},"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/polymorphic-variants","display_name":"polymorphic variants","score":0.9520000219345093},{"id":"https://openalex.org/keywords/structural-polymorphism","display_name":"structural polymorphism","score":0.8859999775886536},{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.8320000171661377},{"id":"https://openalex.org/keywords/parametric-polymorphism","display_name":"parametric polymorphism","score":0.7900000214576721},{"id":"https://openalex.org/keywords/ad-hoc-polymorphism","display_name":"ad-hoc polymorphism","score":0.9980000257492065},{"id":"https://openalex.org/keywords/compilation","display_name":"compilation","score":0.42399999499320984},{"id":"https://openalex.org/keywords/programming-language-design","display_name":"programming language design","score":0.6119999885559082}],"concepts":[{"id":"https://openalex.org/C198370458","wikidata":"https://www.wikidata.org/wiki/Q586459","display_name":"Type inference","level":3,"score":0.7725104093551636},{"id":"https://openalex.org/C2776214188","wikidata":"https://www.wikidata.org/wiki/Q408386","display_name":"Inference","level":2,"score":0.6810412406921387},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6162048578262329},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.5562851428985596},{"id":"https://openalex.org/C149737253","wikidata":"https://www.wikidata.org/wiki/Q3240252","display_name":"Polymorphism (computer science)","level":4,"score":0.5348920226097107},{"id":"https://openalex.org/C110332635","wikidata":"https://www.wikidata.org/wiki/Q629498","display_name":"Genetic programming","level":2,"score":0.4360389709472656},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.3857576251029968},{"id":"https://openalex.org/C204321447","wikidata":"https://www.wikidata.org/wiki/Q30642","display_name":"Natural language processing","level":1,"score":0.34161144495010376},{"id":"https://openalex.org/C54355233","wikidata":"https://www.wikidata.org/wiki/Q7162","display_name":"Genetics","level":1,"score":0.16913434863090515},{"id":"https://openalex.org/C86803240","wikidata":"https://www.wikidata.org/wiki/Q420","display_name":"Biology","level":0,"score":0.1675010621547699},{"id":"https://openalex.org/C135763542","wikidata":"https://www.wikidata.org/wiki/Q106016","display_name":"Genotype","level":3,"score":0.11989179253578186},{"id":"https://openalex.org/C104317684","wikidata":"https://www.wikidata.org/wiki/Q7187","display_name":"Gene","level":2,"score":0.0}],"mesh":[],"locations_count":4,"locations":[{"id":"pmh:oai:CiteSeerX.psu:10.1.1.419.3893","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.419.3893","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.nagoya-u.ac.jp/~garrigue/papers/variants-us.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.419.7195","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.419.7195","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://www.math.nagoya-u.ac.jp/~garrigue/papers/variants.pdf","raw_type":"text"},{"id":"pmh:oai:CiteSeerX.psu:10.1.1.48.3274","doi":null,"is_oa":false,"landing_page_url":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.48.3274","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"http://wwwfun.kurims.kyoto-u.ac.jp/~garrigue/papers/variants.ps.gz","raw_type":"text"},{"id":"mag:1485257692","doi":null,"is_oa":false,"landing_page_url":"https://www.math.nagoya-u.ac.jp/~garrigue/papers/variants.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":4,"referenced_works":["https://openalex.org/W1499379333","https://openalex.org/W2057670587","https://openalex.org/W2092632814","https://openalex.org/W2121038016"],"related_works":["https://openalex.org/W2164266441","https://openalex.org/W7100761340","https://openalex.org/W1529526858","https://openalex.org/W2109518186","https://openalex.org/W7098033747","https://openalex.org/W2092632814","https://openalex.org/W117044614","https://openalex.org/W2128973980","https://openalex.org/W7098913242","https://openalex.org/W2003715144"],"abstract_inverted_index":{"Type":[0],"inference":[1,75],"for":[2,143],"structural":[3,138],"polymorphism":[4,54,85,89],"---i.e.":[5],"record":[6],"and":[7,23,62,76,86,105,127],"variant":[8,53],"polymorphism---":[9],"has":[10],"been":[11,27],"an":[12],"active":[13],"area":[14],"of":[15,72,137],"research":[16],"since":[17],"more":[18],"than":[19],"10":[20],"years":[21],"ago,":[22],"many":[24],"results":[25,31],"have":[26],"obtained.":[28],"However":[29],"these":[30],"are":[32,64,130],"yet":[33],"to":[34,37,146],"be":[35,56,109],"applied":[36],"real":[38],"programming":[39,60],"languages.":[40],"Based":[41],"on":[42],"our":[43,73],"experience":[44],"with":[45,103,111,118,125],"the":[46,65,135,141],"Objective":[47],"Label":[48],"system,":[49],"we":[50],"describe":[51],"how":[52],"can":[55],"integrated":[57],"in":[58,114],"a":[59,69,144],"language,":[61],"what":[63],"benefits.":[66],"We":[67],"give":[68],"detailed":[70],"account":[71],"type":[74],"compilation":[77],"schemes.":[78],"1":[79],"Introduction":[80],"The":[81],"distinction":[82],"between":[83],"parametric":[84,94],"ad":[87,115],"hoc":[88,116],"is":[90,134],"well":[91],"known.":[92],"In":[93],"polymorphism,":[95,98,117,139],"e.g.":[96],"ML":[97],"types":[99,122],"do":[100,123],"not":[101],"interact":[102,124],"evaluation,":[104,126],"polymorphic":[106],"parts":[107],"may":[108],"instantiated":[110],"anything,":[112],"while":[113],"overloading":[119],"or":[120],"object-orientation,":[121],"possible":[128],"instances":[129],"restricted.":[131],"More":[132],"subtle":[133],"notion":[136],"i.e.":[140],"ability":[142],"function":[145],"access":[147],"dif...":[148]},"counts_by_year":[{"year":2021,"cited_by_count":2},{"year":2020,"cited_by_count":2},{"year":2019,"cited_by_count":6},{"year":2018,"cited_by_count":4},{"year":2017,"cited_by_count":2},{"year":2016,"cited_by_count":5},{"year":2015,"cited_by_count":3},{"year":2014,"cited_by_count":2},{"year":2013,"cited_by_count":4},{"year":2012,"cited_by_count":5}],"updated_date":"2026-11-10T11:39:43.021295","created_date":"2016-06-24T00:00:00"}