{"id":"https://openalex.org/W2137236134","doi":null,"title":"Exploring Generic Haskell","display_name":"Exploring Generic Haskell","publication_year":2004,"publication_date":"2004-09-02","ids":{"openalex":"https://openalex.org/W2137236134","mag":"2137236134"},"language":"en","primary_location":{"id":"pmh:oai:dspace.library.uu.nl:1874/1144","doi":null,"is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/1144","pdf_url":null,"source":{"id":"https://openalex.org/S4306401649","display_name":"Utrecht University Repository (Utrecht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I193662353","host_organization_name":"Utrecht University","host_organization_lineage":["https://openalex.org/I193662353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},"volume":null,"type":"dissertation","is_traditional":true,"indexed_in":[],"open_access":{"is_oa":true,"oa_status":"green","oa_url":"https://dspace.library.uu.nl/handle/1874/1144","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5027537142","display_name":"Andres L\u00f6h","orcid":"https://orcid.org/0000-0002-7492-7293","observed_orcids":["https://orcid.org/0000-0002-7492-7293"]},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"Andres L\u00f6h","raw_affiliation_strings":[],"raw_orcid":"https://orcid.org/0000-0002-7492-7293","affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":0,"corresponding_author_ids":["https://openalex.org/A5027537142"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":null,"has_fulltext":false,"cited_by_count":99,"citation_normalized_percentile":null,"cited_by_percentile_year":null,"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/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/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"}}],"keywords":[{"id":"https://openalex.org/keywords/generic-programming","display_name":"generic programming","score":0.9829999804496765},{"id":"https://openalex.org/keywords/generic-functions","display_name":"generic functions","score":0.7039999961853027},{"id":"https://openalex.org/keywords/type-inference","display_name":"type inference","score":0.9340000152587891},{"id":"https://openalex.org/keywords/default-case","display_name":"default case","score":0.9070000052452087},{"id":"https://openalex.org/keywords/module-system","display_name":"module system","score":0.8920000195503235},{"id":"https://openalex.org/keywords/separate-compilation","display_name":"separate compilation","score":0.9890000224113464},{"id":"https://openalex.org/keywords/language-design","display_name":"language design","score":0.375}],"concepts":[{"id":"https://openalex.org/C2780624054","wikidata":"https://www.wikidata.org/wiki/Q34010","display_name":"Haskell","level":3,"score":0.9605255126953125},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.7590433359146118},{"id":"https://openalex.org/C7051814","wikidata":"https://www.wikidata.org/wiki/Q1051282","display_name":"Generic programming","level":2,"score":0.7314813733100891},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.6932873725891113},{"id":"https://openalex.org/C42383842","wikidata":"https://www.wikidata.org/wiki/Q193076","display_name":"Functional programming","level":2,"score":0.6803649067878723},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.6652763485908508},{"id":"https://openalex.org/C2778029271","wikidata":"https://www.wikidata.org/wiki/Q5421931","display_name":"Extension (predicate logic)","level":2,"score":0.45945459604263306},{"id":"https://openalex.org/C177148314","wikidata":"https://www.wikidata.org/wiki/Q170084","display_name":"Generalization","level":2,"score":0.4533325135707855},{"id":"https://openalex.org/C146206909","wikidata":"https://www.wikidata.org/wiki/Q531152","display_name":"Declarative programming","level":4,"score":0.43260639905929565},{"id":"https://openalex.org/C34165917","wikidata":"https://www.wikidata.org/wiki/Q188267","display_name":"Programming paradigm","level":2,"score":0.4024636745452881},{"id":"https://openalex.org/C50033165","wikidata":"https://www.wikidata.org/wiki/Q15712089","display_name":"Inductive programming","level":3,"score":0.2725449800491333},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.15117532014846802},{"id":"https://openalex.org/C134306372","wikidata":"https://www.wikidata.org/wiki/Q7754","display_name":"Mathematical analysis","level":1,"score":0.0}],"mesh":[],"locations_count":3,"locations":[{"id":"pmh:oai:dspace.library.uu.nl:1874/1144","doi":null,"is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/1144","pdf_url":null,"source":{"id":"https://openalex.org/S4306401649","display_name":"Utrecht University Repository (Utrecht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I193662353","host_organization_name":"Utrecht University","host_organization_lineage":["https://openalex.org/I193662353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},{"id":"pmh:uu:oai:dspace.library.uu.nl:1874/1144","doi":null,"is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/1144","pdf_url":null,"source":{"id":"https://openalex.org/S4306401649","display_name":"Utrecht University Repository (Utrecht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I193662353","host_organization_name":"Utrecht University","host_organization_lineage":["https://openalex.org/I193662353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"","raw_type":"info:eu-repo/semantics/doctoralthesis"},{"id":"mag:2137236134","doi":null,"is_oa":false,"landing_page_url":"https://dspace.library.uu.nl/bitstream/handle/1874/1144/full.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":{"id":"pmh:oai:dspace.library.uu.nl:1874/1144","doi":null,"is_oa":true,"landing_page_url":"https://dspace.library.uu.nl/handle/1874/1144","pdf_url":null,"source":{"id":"https://openalex.org/S4306401649","display_name":"Utrecht University Repository (Utrecht University)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"listed_in":[],"host_organization":"https://openalex.org/I193662353","host_organization_name":"Utrecht University","host_organization_lineage":["https://openalex.org/I193662353"],"host_organization_lineage_names":[],"type":"repository"},"license":"other-oa","license_id":"https://openalex.org/licenses/other-oa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":null,"raw_type":"Dissertation"},"sustainable_development_goals":[],"study_designs":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":124,"referenced_works":["https://openalex.org/W5305168","https://openalex.org/W62953528","https://openalex.org/W65564231","https://openalex.org/W71537616","https://openalex.org/W82706487","https://openalex.org/W85085276","https://openalex.org/W107758709","https://openalex.org/W138078219","https://openalex.org/W179128963","https://openalex.org/W197181101","https://openalex.org/W204886091","https://openalex.org/W347227831","https://openalex.org/W1489810668","https://openalex.org/W1490031588","https://openalex.org/W1491621751","https://openalex.org/W1491705370","https://openalex.org/W1494264196","https://openalex.org/W1507155521","https://openalex.org/W1513006286","https://openalex.org/W1524356195","https://openalex.org/W1528956417","https://openalex.org/W1529734443","https://openalex.org/W1536503928","https://openalex.org/W1539365638","https://openalex.org/W1539842797","https://openalex.org/W1540047335","https://openalex.org/W1542088842","https://openalex.org/W1545995615","https://openalex.org/W1546727036","https://openalex.org/W1551706119","https://openalex.org/W1556409520","https://openalex.org/W1556536463","https://openalex.org/W1557386766","https://openalex.org/W1557561422","https://openalex.org/W1564538666","https://openalex.org/W1569595378","https://openalex.org/W1574092633","https://openalex.org/W1575003479","https://openalex.org/W1578113853","https://openalex.org/W1582061141","https://openalex.org/W1587553526","https://openalex.org/W1594279870","https://openalex.org/W1596885258","https://openalex.org/W1599173152","https://openalex.org/W1600841955","https://openalex.org/W1601383237","https://openalex.org/W1605936044","https://openalex.org/W1607120552","https://openalex.org/W1827112781","https://openalex.org/W1854388022","https://openalex.org/W1897069414","https://openalex.org/W1899058920","https://openalex.org/W1961839044","https://openalex.org/W1964211642","https://openalex.org/W1967061556","https://openalex.org/W2009775190","https://openalex.org/W2014021676","https://openalex.org/W2017848214","https://openalex.org/W2019376542","https://openalex.org/W2027048725","https://openalex.org/W2027584005","https://openalex.org/W2030916392","https://openalex.org/W2046671194","https://openalex.org/W2049058988","https://openalex.org/W2058137890","https://openalex.org/W2059895047","https://openalex.org/W2062887328","https://openalex.org/W2093896470","https://openalex.org/W2096008648","https://openalex.org/W2096494922","https://openalex.org/W2097198651","https://openalex.org/W2097488638","https://openalex.org/W2100249553","https://openalex.org/W2104639956","https://openalex.org/W2106530373","https://openalex.org/W2106669246","https://openalex.org/W2106811484","https://openalex.org/W2107886735","https://openalex.org/W2108953880","https://openalex.org/W2108980444","https://openalex.org/W2110095505","https://openalex.org/W2112197627","https://openalex.org/W2112911540","https://openalex.org/W2114566589","https://openalex.org/W2114980032","https://openalex.org/W2115128073","https://openalex.org/W2119717320","https://openalex.org/W2120036400","https://openalex.org/W2121431148","https://openalex.org/W2123186536","https://openalex.org/W2127347132","https://openalex.org/W2127452188","https://openalex.org/W2131156825","https://openalex.org/W2131916293","https://openalex.org/W2132500409","https://openalex.org/W2136177623","https://openalex.org/W2139538642","https://openalex.org/W2139568978","https://openalex.org/W2140717183","https://openalex.org/W2142469020","https://openalex.org/W2143973850","https://openalex.org/W2145250489","https://openalex.org/W2148727823","https://openalex.org/W2150366175","https://openalex.org/W2154148405","https://openalex.org/W2157137298","https://openalex.org/W2159202155","https://openalex.org/W2161849579","https://openalex.org/W2162875050","https://openalex.org/W2163976959","https://openalex.org/W2164581170","https://openalex.org/W2166822586","https://openalex.org/W2175912519","https://openalex.org/W2192744646","https://openalex.org/W2194577220","https://openalex.org/W2275872939","https://openalex.org/W2338744604","https://openalex.org/W2493130382","https://openalex.org/W2575702446","https://openalex.org/W2589004965","https://openalex.org/W3083378471","https://openalex.org/W3094288021","https://openalex.org/W3119390068","https://openalex.org/W4289868901"],"related_works":["https://openalex.org/W2357049958","https://openalex.org/W1589463184","https://openalex.org/W7096919864","https://openalex.org/W7038028888","https://openalex.org/W7027542051","https://openalex.org/W2785690991","https://openalex.org/W204886091","https://openalex.org/W7095095040","https://openalex.org/W5305168","https://openalex.org/W7098080654"],"abstract_inverted_index":{"This":[0],"thesis":[1,57,171],"is":[2,20,58,70,85,183,225,265],"an":[3,6,329],"exploration":[4,7],"--":[5],"of":[8,12,50,55,66,92,102,126,137,140,176,202,208,213,246,275,299,312,318,335,346],"a":[9,73,78,89,177,206,266,336,385],"language":[10,16,129,181,224,389],"extension":[11,19],"the":[13,25,36,51,93,99,116,124,127,130,138,174,200,209,223,230,239,243,247,284,288,310,316,322,333,344,363,374],"functional":[14,179],"programming":[15,122,128,196,256,314],"Haskell.":[17],"The":[18,82,170],"called":[21],"Generic":[22,103,121],"Haskell,":[23,104,366],"albeit":[24],"name":[26],"has":[27,395],"been":[28],"used":[29,401],"to":[30,32,59,86,132,161,216,261,269,282,295,315,324,354],"refer":[31],"different":[33,44],"objects":[34],"over":[35],"last":[37],"several":[38,106,249,297,403],"years:":[39],"Many":[40],"papers":[41],"have":[42,328],"described":[43,71,252],"proposals,":[45],"features,":[46],"variations,":[47],"and":[48,76,105,112,157,211,234,259,320,377,387,397],"generations":[49],"language.":[52],"One":[53],"purpose":[54,84],"this":[56,67],"do":[60],"away":[61],"with":[62,109,173,186,370],"at":[63],"least":[64],"part":[65],"fuzziness:":[68],"everything":[69],"in":[72,154,381],"common":[74],"notation":[75],"from":[77,199,362],"single":[79],"starting":[80],"point.":[81],"other":[83],"simply":[87],"give":[88],"complete":[90,386],"overview":[91],"language:":[94],"we":[95,227,357,383],"will":[96,399],"systematically":[97],"explain":[98],"core":[100,180],"features":[101,117,187],"extensions,":[107],"all":[108,168],"motivating":[110],"examples":[111],"details":[113],"on":[114,332,341],"how":[115,194],"can":[118,158,197,280],"be":[119,352,400],"implemented.":[120],"gives":[123],"user":[125],"ability":[131],"define":[133,296,325],"functions":[134,144,218,273,348],"by":[135,219],"analysis":[136],"structure":[139,334],"datatypes.":[141,169],"Such":[142],"generic":[143,190,195,217,255,263,272,301,313,347,391],"are":[145,152,205,251],"statically":[146],"checked":[147],"for":[148,167,238,287,390,402],"type":[149,278,337,371],"correctness.":[150],"They":[151],"reusable":[153],"many":[155],"contexts,":[156],"adapt":[159],"easily":[160],"changed":[162],"environments,":[163],"because":[164],"they":[165],"work":[166],"starts":[172],"presentation":[175],"simple":[178,267],"which":[182,204,308,349,393],"gradually":[184],"extended":[185],"that":[188,253,327],"allow":[189,294,343],"programming.":[191],"We":[192,304],"show":[193],"benefit":[198],"concept":[201,311],"dependencies,":[203],"result":[207],"combination":[210],"generalization":[212],"two":[214],"approaches":[215],"Ralf":[220],"Hinze.":[221],"Whenever":[222],"extended,":[226],"first":[228],"motivate":[229],"additions":[231],"using":[232],"examples,":[233],"subsequently":[235],"discuss":[236,305,358],"implications":[237],"underlying":[240],"theory.":[241],"In":[242],"second":[244],"half":[245],"thesis,":[248],"concepts":[250],"make":[254],"more":[257],"powerful":[258],"easier":[260],"use:":[262],"abstraction":[264],"mechanism":[268],"form":[270],"new":[271],"out":[274],"existing":[276],"ones;":[277],"inference":[279],"help":[281],"reduce":[283],"notational":[285],"burden":[286],"programmer":[289],"quite":[290],"significantly,":[291],"default":[292],"cases":[293],"variations":[298],"one":[300],"behaviour":[302],"quickly.":[303],"type-indexed":[306],"datatypes,":[307],"lift":[309],"level":[317],"types":[319],"provide":[321],"possibility":[323],"datatypes":[326,342],"implementation":[330],"based":[331],"argument.":[338],"Multiple":[339],"views":[340],"definition":[345],"would":[350],"otherwise":[351],"difficult":[353],"define.":[355],"Finally,":[356],"practical":[359],"issues":[360],"arising":[361],"embedding":[364],"into":[365],"such":[367],"as":[368],"dealing":[369],"synonyms,":[372],"or":[373],"module":[375],"system":[376],"separate":[378],"compilation.":[379],"All":[380],"all,":[382],"present":[384],"rich":[388],"programming,":[392],"can,":[394],"been,":[396],"hopefully":[398],"interesting":[404],"applications":[405]},"counts_by_year":[{"year":2014,"cited_by_count":3},{"year":2012,"cited_by_count":4}],"updated_date":"2026-11-11T12:16:26.678958","created_date":"2016-06-24T00:00:00"}