Publication Information

{'id': 'https://openalex.org/W1919687110', 'doi': 'https://doi.org/10.1007/978-3-540-45191-4\\_1', 'title': 'Generic Haskell: practice and theory', 'display_name': 'Generic Haskell: practice and theory', 'publication_year': 2003, 'publication_date': '2003-01-01', 'ids': {'openalex': 'https://openalex.org/W1919687110', 'doi': 'https://doi.org/10.1007/978-3-540-45191-4\\_1', 'mag': '1919687110'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://dspace.library.uu.nl/bitstream/1874/20862/1/jeuring_03_generichaskellpractice_technical.pdf', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306482134', 'display_name': 'Utrecht University: Information and Computing Sciences eBooks', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'ebook platform'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'book', 'type_crossref': 'book', '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/A5063247380', 'display_name': 'Ralf Hinze', 'orcid': 'https://orcid.org/0000-0001-5678-0286'}, 'institutions': [{'id': 'https://openalex.org/I135140700', 'display_name': 'University of Bonn', 'ror': 'https://ror.org/041nas322', 'country_code': 'DE', 'type': 'education', 'lineage': ['https://openalex.org/I135140700']}], 'countries': ['DE'], 'is_corresponding': False, 'raw_author_name': 'Ralf Hinze', 'raw_affiliation_strings': ['University of Bonn.'], 'affiliations': [{'raw_affiliation_string': 'University of Bonn.', 'institution_ids': ['https://openalex.org/I135140700']}]}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5011892251', 'display_name': 'Johan Jeuring', 'orcid': 'https://orcid.org/0000-0001-5645-7681'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Johan Jeuring', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 1, 'institutions_distinct_count': 1, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 4.399, 'has_fulltext': False, 'cited_by_count': 91, 'citation_normalized_percentile': {'value': 0.77823, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 95, 'max': 96}, 'biblio': {'volume': '2793', 'issue': None, 'first_page': '1', 'last_page': '56'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9999, '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.9999, '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.9902, '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/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9892, 'subfield': {'id': 'https://openalex.org/subfields/1703', 'display_name': 'Computational Theory and Mathematics'}, '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.9976186}, {'id': 'https://openalex.org/keywords/generic-programming', 'display_name': 'Generic programming', 'score': 0.6759714}], 'concepts': [{'id': 'https://openalex.org/C2780624054', 'wikidata': 'https://www.wikidata.org/wiki/Q34010', 'display_name': 'Haskell', 'level': 3, 'score': 0.9976186}, {'id': 'https://openalex.org/C42383842', 'wikidata': 'https://www.wikidata.org/wiki/Q193076', 'display_name': 'Functional programming', 'level': 2, 'score': 0.78105676}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.7581081}, {'id': 'https://openalex.org/C7051814', 'wikidata': 'https://www.wikidata.org/wiki/Q1051282', 'display_name': 'Generic programming', 'level': 2, 'score': 0.6759714}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.5904026}, {'id': 'https://openalex.org/C2778029271', 'wikidata': 'https://www.wikidata.org/wiki/Q5421931', 'display_name': 'Extension (predicate logic)', 'level': 2, 'score': 0.4819736}, {'id': 'https://openalex.org/C170858558', 'wikidata': 'https://www.wikidata.org/wiki/Q1394144', 'display_name': 'Automatic summarization', 'level': 2, 'score': 0.43888432}, {'id': 'https://openalex.org/C154945302', 'wikidata': 'https://www.wikidata.org/wiki/Q11660', 'display_name': 'Artificial intelligence', 'level': 1, 'score': 0.16168442}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://dspace.library.uu.nl/bitstream/1874/20862/1/jeuring_03_generichaskellpractice_technical.pdf', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306482134', 'display_name': 'Utrecht University: Information and Computing Sciences eBooks', 'issn_l': None, 'issn': None, 'is_oa': False, 'is_in_doaj': False, 'is_core': False, 'host_organization': None, 'host_organization_name': None, 'host_organization_lineage': [], 'host_organization_lineage_names': [], 'type': 'ebook platform'}, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}], 'best_oa_location': None, 'sustainable_development_goals': [{'display_name': 'Quality education', 'id': 'https://metadata.un.org/sdg/4', 'score': 0.56}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 42, 'referenced_works': ['https://openalex.org/W1494264196', 'https://openalex.org/W1552909716', 'https://openalex.org/W1557561422', 'https://openalex.org/W1578113853', 'https://openalex.org/W1582269801', 'https://openalex.org/W1587758675', 'https://openalex.org/W1605309821', 'https://openalex.org/W1825484700', 'https://openalex.org/W1854388022', 'https://openalex.org/W1964211642', 'https://openalex.org/W1964952791', 'https://openalex.org/W1967061556', 'https://openalex.org/W1998875295', 'https://openalex.org/W2027048725', 'https://openalex.org/W2027584005', 'https://openalex.org/W2029791960', 'https://openalex.org/W2030916392', 'https://openalex.org/W2033185534', 'https://openalex.org/W2056253254', 'https://openalex.org/W2057292961', 'https://openalex.org/W2058137890', 'https://openalex.org/W2061891986', 'https://openalex.org/W2084788336', 'https://openalex.org/W2096590830', 'https://openalex.org/W2105045857', 'https://openalex.org/W2115128073', 'https://openalex.org/W2123032498', 'https://openalex.org/W2130804875', 'https://openalex.org/W2131828631', 'https://openalex.org/W2136177623', 'https://openalex.org/W2137435684', 'https://openalex.org/W2151015971', 'https://openalex.org/W2154632906', 'https://openalex.org/W2156964302', 'https://openalex.org/W2166822586', 'https://openalex.org/W2173304421', 'https://openalex.org/W2591126073', 'https://openalex.org/W2787361311', 'https://openalex.org/W2911433283', 'https://openalex.org/W2912111500', 'https://openalex.org/W2912333754', 'https://openalex.org/W2913811625'], 'related_works': ['https://openalex.org/W2913811625', 'https://openalex.org/W2912333754', 'https://openalex.org/W2175912519', 'https://openalex.org/W2145738007', 'https://openalex.org/W2139568978', 'https://openalex.org/W2137236134', 'https://openalex.org/W2136177623', 'https://openalex.org/W2131828631', 'https://openalex.org/W2115128073', 'https://openalex.org/W2093896470', 'https://openalex.org/W2082765113', 'https://openalex.org/W2058137890', 'https://openalex.org/W2057292961', 'https://openalex.org/W204886091', 'https://openalex.org/W2027048725', 'https://openalex.org/W1964211642', 'https://openalex.org/W1608714802', 'https://openalex.org/W1589463184', 'https://openalex.org/W1578113853', 'https://openalex.org/W1556536463'], 'abstract_inverted_index': {'Generic': [170], 'Haskell': [1, 6, 23, 52, 57, 67, 70, 135, 158, 221, 258], 'is': [2, 53, 95, 202], 'an': [3, 54], 'extension': [4, 55], 'of': [5, 11, 21, 48, 56, 63, 73, 90, 114, 153, 182, 194, 220, 230], 'that': [7, 59, 100], 'supports': [8, 60], 'the': [9, 18, 26, 61, 71, 76, 88, 98, 145, 150, 163, 176, 195, 217, 227, 254], 'construction': [10, 62], 'generic': [12, 64, 96, 185, 192, 240, 249], 'programs.': [13, 65], 'These': [14], 'lecture': [15, 131], 'notes': [16, 132], 'describe': [17], 'basic': [19, 151, 228], 'constructs': [20, 152, 229], 'and': [24, 121, 127, 161, 190, 216, 242, 259], 'highlight': [25], 'underlying': [27, 164, 256], 'theory.': [28, 165], 'programming': [30, 34], 'aims': [31], 'at': [32, 239], 'making': [33, 38], 'more': [35, 40], 'effective': [36], 'by': [37, 85], 'it': [39, 101, 225], 'general.': [41], 'programs': [43], 'often': [44], 'embody': [45], 'non-traditional': [46], 'kinds': [47], 'poly-': [49], 'morphism.': [50], '(38)': [58], 'adds': [68], 'to': [69, 78, 245], 'notion': [72], 'structural': [74], 'polymorphism,': [75], 'ability': [77], 'define': [79, 246], 'a': [80, 83, 93, 106, 111, 191, 236], 'function': [81, 94], '(or': [82], 'type)': [84], 'induction': [86], 'on': [87, 133], 'structure': [89], 'types.': [91, 115], 'Such': [92], 'in': [97, 214, 222], 'sense': [99], 'works': [102], 'not': [103], 'only': [104], 'for': [105, 110, 147], 'specific': [107], 'type': [108, 212, 218], 'but': [109], 'whole': [112], 'class': [113], 'Typical': [116], 'examples': [117], 'include': [118], 'equality,': [119], 'parsing': [120], 'pretty': [122], 'printing,': [123], 'serialising,': [124], 'ordering,': [125], 'hashing,': [126], 'so': [128], 'on.': [129], 'The': [130, 166, 199], 'are': [136], 'organized': [137, 203], 'into': [138, 159, 175], 'two': [139], 'parts.': [140], 'This': [141], 'first': [142, 200], 'part': [143, 168, 201], 'motivates': [144, 226], 'need': [146], 'genericity,': [148], 'describes': [149], 'Haskell,': [155], 'puts': [156], 'perspective,': [160], 'highlights': [162, 253], 'second': [167], 'entitled': [169], 'Haskell:': [171, 184], 'applications': [181], 'delves': [173], 'deeper': [174], 'language': [177], 'discussing': [178, 211], 'three': [179], 'non-trivial': [180], 'dictionaries,': [186], 'compressing': [187], 'XML': [188], 'documents,': [189], 'version': [193], 'zipper': [196], 'data': [197], 'type.': [198], 'as': [204], 'follows.': [205], 'Section': [206, 233, 251, 263], '1': [207], 'provides': [208], 'some': [209, 247], 'background': [210], 'systems': [213], 'general': [215], 'system': [219], 'particular.': [223], 'Furthermore,': [224], 'Haskell.': [232], '2': [234], 'takes': [235], 'closer': [237], 'look': [238], 'definitions': [241], 'shows': [243], 'how': [244], 'popular': [248], 'functions.': [250], '3': [252], 'theory': [255], 'discusses': [260], 'its': [261], 'implementation.': [262], '4': [264], 'concludes.': [265]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W1919687110', 'counts_by_year': [{'year': 2018, 'cited_by_count': 1}, {'year': 2016, 'cited_by_count': 1}, {'year': 2015, 'cited_by_count': 3}, {'year': 2014, 'cited_by_count': 1}, {'year': 2013, 'cited_by_count': 1}, {'year': 2012, 'cited_by_count': 4}], 'updated_date': '2024-12-13T15:46:20.761752', 'created_date': '2016-06-24'}