Publication Information

{'id': 'https://openalex.org/W2137236134', 'doi': None, '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': {'is_oa': False, 'landing_page_url': 'https://dspace.library.uu.nl/bitstream/handle/1874/1144/full.pdf', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'dissertation', 'type_crossref': 'dissertation', 'indexed_in': [], 'open_access': {'is_oa': False, 'oa_status': 'closed', 'oa_url': None, 'any_repository_has_fulltext': False}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5027537142', 'display_name': 'Andres Löh', 'orcid': 'https://orcid.org/0000-0002-7492-7293'}, 'institutions': [], 'countries': [], 'is_corresponding': True, 'raw_author_name': 'A. Löh', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 0, 'institutions_distinct_count': 0, 'corresponding_author_ids': ['https://openalex.org/A5027537142'], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': None, 'has_fulltext': False, 'cited_by_count': 101, 'citation_normalized_percentile': {'value': 0.955752, 'is_in_top_1_percent': False, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 96, 'max': 97}, 'biblio': {'volume': None, 'issue': None, 'first_page': None, 'last_page': None}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9997, '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.9997, '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/T10054', 'display_name': 'Parallel Computing and Optimization Techniques', 'score': 0.994, 'subfield': {'id': 'https://openalex.org/subfields/1708', 'display_name': 'Hardware and Architecture'}, '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.9921, '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'}}], 'keywords': [{'id': 'https://openalex.org/keywords/haskell', 'display_name': 'Haskell', 'score': 0.9605255}, {'id': 'https://openalex.org/keywords/generic-programming', 'display_name': 'Generic programming', 'score': 0.7314814}], 'concepts': [{'id': 'https://openalex.org/C2780624054', 'wikidata': 'https://www.wikidata.org/wiki/Q34010', 'display_name': 'Haskell', 'level': 3, 'score': 0.9605255}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.75904334}, {'id': 'https://openalex.org/C7051814', 'wikidata': 'https://www.wikidata.org/wiki/Q1051282', 'display_name': 'Generic programming', 'level': 2, 'score': 0.7314814}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.6932874}, {'id': 'https://openalex.org/C42383842', 'wikidata': 'https://www.wikidata.org/wiki/Q193076', 'display_name': 'Functional programming', 'level': 2, 'score': 0.6803649}, {'id': 'https://openalex.org/C55439883', 'wikidata': 'https://www.wikidata.org/wiki/Q360812', 'display_name': 'Correctness', 'level': 2, 'score': 0.66527635}, {'id': 'https://openalex.org/C2778029271', 'wikidata': 'https://www.wikidata.org/wiki/Q5421931', 'display_name': 'Extension (predicate logic)', 'level': 2, 'score': 0.4594546}, {'id': 'https://openalex.org/C177148314', 'wikidata': 'https://www.wikidata.org/wiki/Q170084', 'display_name': 'Generalization', 'level': 2, 'score': 0.4533325}, {'id': 'https://openalex.org/C146206909', 'wikidata': 'https://www.wikidata.org/wiki/Q531152', 'display_name': 'Declarative programming', 'level': 4, 'score': 0.4326064}, {'id': 'https://openalex.org/C34165917', 'wikidata': 'https://www.wikidata.org/wiki/Q188267', 'display_name': 'Programming paradigm', 'level': 2, 'score': 0.40246367}, {'id': 'https://openalex.org/C50033165', 'wikidata': 'https://www.wikidata.org/wiki/Q15712089', 'display_name': 'Inductive programming', 'level': 3, 'score': 0.27254498}, {'id': 'https://openalex.org/C33923547', 'wikidata': 'https://www.wikidata.org/wiki/Q395', 'display_name': 'Mathematics', 'level': 0, 'score': 0.15117532}, {'id': 'https://openalex.org/C134306372', 'wikidata': 'https://www.wikidata.org/wiki/Q7754', 'display_name': 'Mathematical analysis', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://dspace.library.uu.nl/bitstream/handle/1874/1144/full.pdf', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 124, 'referenced_works': ['https://openalex.org/W107758709', 'https://openalex.org/W138078219', '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/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/W1578477039', 'https://openalex.org/W1580128549', 'https://openalex.org/W1582061141', 'https://openalex.org/W1587553526', 'https://openalex.org/W1589463184', '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/W179128963', 'https://openalex.org/W1827112781', 'https://openalex.org/W1854388022', 'https://openalex.org/W1897069414', 'https://openalex.org/W1899058920', 'https://openalex.org/W1919687110', 'https://openalex.org/W1961839044', 'https://openalex.org/W1964211642', 'https://openalex.org/W1967061556', 'https://openalex.org/W197181101', '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/W347227831', 'https://openalex.org/W62953528', 'https://openalex.org/W65564231', 'https://openalex.org/W71537616', 'https://openalex.org/W82706487', 'https://openalex.org/W85085276'], 'related_works': ['https://openalex.org/W2570988769', 'https://openalex.org/W2170988588', 'https://openalex.org/W2164581170', 'https://openalex.org/W2161157131', 'https://openalex.org/W2139538642', 'https://openalex.org/W2131156825', 'https://openalex.org/W2127452188', 'https://openalex.org/W2100249553', 'https://openalex.org/W2093896470', 'https://openalex.org/W2044667269', 'https://openalex.org/W1739770529', 'https://openalex.org/W1607120552', 'https://openalex.org/W1542088842', 'https://openalex.org/W1536503928', 'https://openalex.org/W1529734443', 'https://openalex.org/W1514370277', 'https://openalex.org/W1513006286', 'https://openalex.org/W1507115617', 'https://openalex.org/W1501912551', 'https://openalex.org/W1500241917'], 'abstract_inverted_index': {'This': [0], 'thesis': [1, 57, 169], 'is': [2, 19, 58, 70, 86, 181, 223, 262], 'an': [3, 6, 325], 'exploration': [4, 7], '--': [5], 'of': [8, 11, 49, 55, 66, 93, 103, 125, 136, 139, 174, 200, 206, 211, 243, 272, 296, 309, 315, 331, 342], 'a': [9, 73, 78, 90, 175, 204, 263, 332, 380], 'language\r\nextension': [10], 'the': [12, 24, 35, 50, 94, 100, 123, 126, 129, 137, 172, 198, 207, 221, 228, 237, 240, 244, 281, 285, 307, 313, 319, 329, 340, 359, 370], 'functional': [13, 177], 'programming': [14, 121, 127, 194, 253, 311], 'language': [15, 128, 179, 222, 384], 'Haskell.': [16], 'The': [17, 83], 'extension': [18], 'called': [20], 'Generic': [21, 104], 'Haskell,': [22, 105, 362], 'albeit': [23], 'name': [25], 'has': [26, 390], 'been': [27], 'used': [28, 396], 'to': [29, 31, 59, 87, 131, 160, 214, 258, 266, 279, 292, 312, 321, 350], 'refer': [30], 'different': [32, 43], 'objects': [33], 'over': [34], 'last': [36], 'several': [37, 107, 246, 294, 398], 'years:': [38], 'Many': [39], 'papers': [40], 'have': [41, 324], 'described': [42, 71, 249], 'proposals,': [44], 'features,': [45], 'variations,': [46], 'and': [47, 76, 106, 113, 156, 209, 232, 256, 317, 373, 382, 392], 'generations': [48], 'language.': [51], 'One': [53], 'purpose': [54, 85], 'this': [56, 67], 'do': [60], 'away': [61], 'with': [62, 110, 171, 184, 366], 'at': [63], 'least': [64], 'part': [65], 'fuzziness:': [68], 'everything': [69], 'in': [72, 153, 376], 'common': [74], 'notation': [75], 'from': [77, 197, 358], 'single': [79], 'starting': [80], 'point.': [81], 'other': [84], 'simply': [88], 'give': [89], 'complete': [91, 381], 'overview': [92], 'language:': [95], 'we': [96, 225, 353, 378], 'will': [97, 394], 'systematically': [98], 'explain': [99], 'core': [101, 178], 'features': [102, 117, 185], 'extensions,': [108], 'all': [109, 167], 'motivating': [111], 'examples': [112], 'details': [114], 'on': [115, 328, 337], 'how\r\nthe': [116], 'can': [118, 157, 195, 277], 'be': [119, 348, 395], 'implemented.\r\n\r\n\r\n\r\nGeneric': [120], 'gives': [122], 'user': [124], 'ability': [130], 'define': [132, 293, 322], 'functions': [133, 143, 216, 270, 344], 'by': [134, 217], 'analysis': [135], 'structure': [138, 330], 'datatypes.': [140], 'Such': [141], 'generic': [142, 188, 193, 215, 252, 260, 269, 298, 310, 343, 386], 'are': [144, 151, 203, 248], 'statically': [145], 'checked': [146], 'for': [147, 166, 236, 284, 385, 397], 'type': [148, 275, 333, 367], 'correctness.': [149], 'They': [150], 'reusable': [152], 'many': [154], 'contexts,': [155], 'adapt': [158], 'easily': [159], 'changed': [161], 'environments,': [162], 'because': [163], 'they': [164], 'work': [165], 'datatypes.\r\n\r\n\r\nThe': [168], 'starts': [170], 'presentation': [173], 'simple': [176, 264], 'which': [180, 202, 305, 345, 388], 'gradually': [182], 'extended': [183], 'that': [186, 250], 'allow': [187, 291, 339], 'programming.': [189], 'We': [190, 301], 'show': [191], 'how': [192], 'benefit': [196], 'concept': [199, 308], 'dependencies,': [201], 'result': [205], 'combination': [208], 'generalization': [210], 'two': [212], 'approaches': [213], 'Ralf': [218], 'Hinze.': [219], 'Whenever': [220], 'extended,': [224], 'first': [226], 'motivate': [227], 'additions': [229], 'using': [230], 'examples,': [231], 'subsequently': [233], 'discuss': [234, 302, 354], 'implications': [235], 'underlying': [238], 'theory.\r\n\r\n\r\n\r\nIn': [239], 'second': [241], 'half': [242], 'thesis,': [245], 'concepts': [247], 'make': [251], 'more': [254], 'powerful': [255], 'easier': [257], 'use:': [259], 'abstraction': [261], 'mechanism': [265], 'form': [267], 'new': [268], 'out': [271], 'existing': [273], 'ones;': [274], 'inference': [276], 'help': [278], 'reduce': [280], 'notational': [282], 'burden': [283], 'programmer': [286], 'quite': [287], 'significantly,': [288], 'default': [289], 'cases': [290], 'variations': [295], 'one': [297], 'behaviour': [299], 'quickly.': [300], 'type-indexed': [303], 'datatypes,': [304], 'lift': [306], 'level': [314], 'types': [316], 'provide': [318], 'possibility': [320], 'datatypes\r\nthat': [323], 'implementation': [326], 'based': [327], 'argument.': [334], 'Multiple': [335], 'views': [336], 'datatypes': [338], 'definition': [341], 'would': [346], 'otherwise': [347], 'difficult': [349], 'define.': [351], 'Finally,': [352], 'practical': [355], 'issues': [356], 'arising': [357], 'embedding': [360], 'into': [361], 'such': [363], 'as': [364], 'dealing': [365], 'synonyms,': [368], 'or': [369], 'module': [371], 'system': [372], 'separate': [374], 'compilation.\r\n\r\n\r\nAll': [375], 'all,': [377], 'present': [379], 'rich': [383], 'programming,': [387], 'can,': [389], 'been,': [391], 'hopefully': [393], 'interesting': [399], 'applications': [400]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2137236134', 'counts_by_year': [{'year': 2014, 'cited_by_count': 3}, {'year': 2012, 'cited_by_count': 4}], 'updated_date': '2024-12-07T19:06:54.238724', 'created_date': '2016-06-24'}