{"id":"https://openalex.org/W2019766167","doi":"https://doi.org/10.1145/1863495.1863505","title":"Ad-hoc polymorphism and dynamic typing in a statically typed functional language","display_name":"Ad-hoc polymorphism and dynamic typing in a statically typed functional language","publication_year":2010,"publication_date":"2010-09-26","ids":{"openalex":"https://openalex.org/W2019766167","doi":"https://doi.org/10.1145/1863495.1863505","mag":"2019766167"},"language":"en","primary_location":{"id":"doi:10.1145/1863495.1863505","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1863495.1863505","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th ACM SIGPLAN workshop on Generic programming","raw_type":"proceedings-article"},"type":"article","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/A5072057521","display_name":"Thomas van Noort","orcid":null},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":true,"raw_author_name":"Thomas van Noort","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, Netherlands","Radboud University Nijmegen, Nijmegen, Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5081280625","display_name":"Peter Achten","orcid":"https://orcid.org/0000-0002-3585-7165"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Peter Achten","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, Netherlands","Radboud University Nijmegen, Nijmegen, Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands#TAB#","institution_ids":["https://openalex.org/I145872427"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5049917627","display_name":"Rinus Plasmeijer","orcid":"https://orcid.org/0009-0007-1606-8412"},"institutions":[{"id":"https://openalex.org/I145872427","display_name":"Radboud University Nijmegen","ror":"https://ror.org/016xsfp80","country_code":"NL","type":"education","lineage":["https://openalex.org/I145872427"]}],"countries":["NL"],"is_corresponding":false,"raw_author_name":"Rinus Plasmeijer","raw_affiliation_strings":["Radboud University Nijmegen, Nijmegen, Netherlands","Radboud University Nijmegen, Nijmegen, Netherlands#TAB#"],"affiliations":[{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands","institution_ids":["https://openalex.org/I145872427"]},{"raw_affiliation_string":"Radboud University Nijmegen, Nijmegen, Netherlands#TAB#","institution_ids":["https://openalex.org/I145872427"]}]}],"institutions":[],"countries_distinct_count":1,"institutions_distinct_count":3,"corresponding_author_ids":["https://openalex.org/A5072057521"],"corresponding_institution_ids":["https://openalex.org/I145872427"],"apc_list":null,"apc_paid":null,"fwci":2.7063,"has_fulltext":false,"cited_by_count":8,"citation_normalized_percentile":{"value":0.90630222,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":89,"max":96},"biblio":{"volume":null,"issue":null,"first_page":"73","last_page":"84"},"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.9993000030517578,"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.9993000030517578,"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/T10639","display_name":"Advanced Software Engineering Methodologies","score":0.9952999949455261,"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/T10260","display_name":"Software Engineering Research","score":0.9883999824523926,"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"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8184943795204163},{"id":"https://openalex.org/keywords/haskell","display_name":"Haskell","score":0.754744827747345},{"id":"https://openalex.org/keywords/typing","display_name":"Typing","score":0.7097960710525513},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.6474882960319519},{"id":"https://openalex.org/keywords/functional-programming","display_name":"Functional programming","score":0.5918589234352112},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.344492107629776}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8184943795204163},{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.754744827747345},{"id":"https://openalex.org/C2781209916","wikidata":"https://www.wikidata.org/wiki/Q3215756","display_name":"Typing","level":2,"score":0.7097960710525513},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6474882960319519},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.5918589234352112},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.344492107629776},{"id":"https://openalex.org/C28490314","wikidata":"https://www.wikidata.org/wiki/Q189436","display_name":"Speech recognition","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1145/1863495.1863505","is_oa":false,"landing_page_url":"https://doi.org/10.1145/1863495.1863505","pdf_url":null,"source":null,"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Proceedings of the 6th ACM SIGPLAN workshop on Generic programming","raw_type":"proceedings-article"},{"id":"pmh:oai:repository.ubn.ru.nl:2066/84307","is_oa":false,"landing_page_url":"https://hdl.handle.net/2066/84307","pdf_url":null,"source":{"id":"https://openalex.org/S4306401067","display_name":"Radboud Repository (Radboud University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/I145872427","host_organization_name":"Radboud University Nijmegen","host_organization_lineage":["https://openalex.org/I145872427"],"host_organization_lineage_names":[],"type":"repository"},"license":null,"license_id":null,"version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"Article in monograph or in proceedings"}],"best_oa_location":null,"sustainable_development_goals":[{"score":0.6399999856948853,"display_name":"Reduced inequalities","id":"https://metadata.un.org/sdg/10"}],"awards":[],"funders":[{"id":"https://openalex.org/F4320334893","display_name":"Stichting voor de Technische Wetenschappen","ror":"https://ror.org/057tq3593"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":27,"referenced_works":["https://openalex.org/W125449628","https://openalex.org/W1522251113","https://openalex.org/W1556536463","https://openalex.org/W1571408028","https://openalex.org/W1692569295","https://openalex.org/W1783314273","https://openalex.org/W1967061556","https://openalex.org/W1985088747","https://openalex.org/W1987203566","https://openalex.org/W2008152087","https://openalex.org/W2009179353","https://openalex.org/W2017112188","https://openalex.org/W2017532341","https://openalex.org/W2034609032","https://openalex.org/W2059895047","https://openalex.org/W2069858276","https://openalex.org/W2112150205","https://openalex.org/W2117552698","https://openalex.org/W2127347132","https://openalex.org/W2131916293","https://openalex.org/W2136177623","https://openalex.org/W2140647971","https://openalex.org/W2187435844","https://openalex.org/W2515102472","https://openalex.org/W2561675875","https://openalex.org/W4285719527","https://openalex.org/W6654800234"],"related_works":["https://openalex.org/W2112263414","https://openalex.org/W3004782279","https://openalex.org/W1602185604","https://openalex.org/W2028779182","https://openalex.org/W1975276861","https://openalex.org/W4242678340","https://openalex.org/W2140654465","https://openalex.org/W2132325017","https://openalex.org/W1671914757","https://openalex.org/W1966969028"],"abstract_inverted_index":{"Static":[0],"typing":[1,29,68,78,138],"in":[2,71,146],"functional":[3,150],"programming":[4],"languages":[5],"such":[6],"as":[7,32,34],"Clean,":[8],"Haskell,":[9],"and":[10,22,84,109,112,136],"ML":[11],"is":[12,30],"highly":[13],"beneficial:":[14],"it":[15,103],"prevents":[16],"erroneous":[17],"behaviour":[18],"at":[19],"run":[20,41],"time":[21],"provides":[23],"opportunities":[24],"for":[25,94,107],"optimisations.":[26],"However,":[27],"dynamic":[28,77,95,101,137],"just":[31],"important":[33],"sometimes":[35],"types":[36],"are":[37,44],"not":[38,80,153],"known":[39],"until":[40],"time.":[42],"Examples":[43],"exchanging":[45],"values":[46,60],"between":[47,82],"applications":[48],"by":[49,55],"deserialisation":[50],"from":[51],"disk,":[52],"input":[53],"provided":[54],"a":[56,62,66,147],"user,":[57],"or":[58],"obtaining":[59],"via":[61],"network":[63],"connection.":[64],"Ideally,":[65],"static":[67],"system":[69],"works":[70],"close":[72],"harmony":[73],"with":[74],"an":[75,99],"orthogonal":[76],"system;":[79],"discriminating":[81],"statically":[83,148],"dynamically":[85],"typed":[86,149],"values.":[87],"In":[88,157],"contrast":[89],"to":[90],"Haskell's":[91],"minimal":[92],"support":[93,106],"typing,":[96],"Clean":[97],"has":[98,122,152],"extensive":[100],"typing;":[102],"adopted":[104],"ML's":[105],"monomorphism":[108],"parametric":[110],"polymorphism":[111,121,135],"added":[113],"the":[114,127,130,162],"notion":[115],"of":[116,126,165],"type":[117],"dependencies.":[118],"Unfortunately,":[119],"ad-hoc":[120,134],"been":[123,140,154],"left":[124],"out":[125],"equation":[128],"over":[129],"years.":[131],"While":[132],"both":[133],"have":[139],"studied":[141,155],"in-depth":[142],"earlier,":[143],"their":[144,166],"interaction":[145],"language":[151],"before.":[156],"this":[158],"paper":[159],"we":[160],"explore":[161],"design":[163],"space":[164],"interactions.":[167]},"counts_by_year":[{"year":2017,"cited_by_count":2},{"year":2013,"cited_by_count":1},{"year":2012,"cited_by_count":1}],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}