Publication Information

{'id': 'https://openalex.org/W2136177623', 'doi': 'https://doi.org/10.1145/581690.581698', 'title': 'A lightweight implementation of generics and dynamics', 'display_name': 'A lightweight implementation of generics and dynamics', 'publication_year': 2002, 'publication_date': '2002-10-03', 'ids': {'openalex': 'https://openalex.org/W2136177623', 'doi': 'https://doi.org/10.1145/581690.581698', 'mag': '2136177623'}, 'language': 'en', 'primary_location': {'is_oa': False, 'landing_page_url': 'https://doi.org/10.1145/581690.581698', 'pdf_url': None, 'source': None, 'license': None, 'license_id': None, 'version': None, 'is_accepted': False, 'is_published': False}, 'type': 'article', 'type_crossref': 'proceedings-article', 'indexed_in': ['crossref'], '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/A5056138547', 'display_name': 'James Cheney', 'orcid': 'https://orcid.org/0000-0002-1307-9286'}, 'institutions': [{'id': 'https://openalex.org/I205783295', 'display_name': 'Cornell University', 'ror': 'https://ror.org/05bnh6r87', 'country_code': 'US', 'type': 'education', 'lineage': ['https://openalex.org/I205783295']}], 'countries': ['US'], 'is_corresponding': False, 'raw_author_name': 'James Cheney', 'raw_affiliation_strings': ['Cornell University (Ithaca, NY);'], 'affiliations': [{'raw_affiliation_string': 'Cornell University (Ithaca, NY);', 'institution_ids': ['https://openalex.org/I205783295']}]}, {'author_position': 'last', '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': ['Institut für Informatik III, Universität Bonn Römerstraße 164, 53117 Bonn, Germany'], 'affiliations': [{'raw_affiliation_string': 'Institut für Informatik III, Universität Bonn Römerstraße 164, 53117 Bonn, Germany', 'institution_ids': ['https://openalex.org/I135140700']}]}], 'institution_assertions': [], 'countries_distinct_count': 2, 'institutions_distinct_count': 2, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': 8.1, 'has_fulltext': True, 'fulltext_origin': 'ngrams', 'cited_by_count': 127, 'citation_normalized_percentile': {'value': 0.991622, 'is_in_top_1_percent': True, 'is_in_top_10_percent': True}, 'cited_by_percentile_year': {'min': 96, 'max': 97}, 'biblio': {'volume': None, 'issue': None, 'first_page': '90', 'last_page': '104'}, 'is_retracted': False, 'is_paratext': False, 'primary_topic': {'id': 'https://openalex.org/T10126', 'display_name': 'Logic, programming, and type systems', 'score': 0.9998, '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.9998, '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/T11010', 'display_name': 'Logic, Reasoning, and Knowledge', 'score': 0.9954, '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/T10142', 'display_name': 'Formal Methods in Verification', 'score': 0.9907, '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.9015291}, {'id': 'https://openalex.org/keywords/usable', 'display_name': 'USable', 'score': 0.70969415}, {'id': 'https://openalex.org/keywords/dynamics', 'display_name': 'Dynamics', 'score': 0.4750578}, {'id': 'https://openalex.org/keywords/domain-specific-language', 'display_name': 'Domain-specific language', 'score': 0.45129037}], 'concepts': [{'id': 'https://openalex.org/C2780624054', 'wikidata': 'https://www.wikidata.org/wiki/Q34010', 'display_name': 'Haskell', 'level': 3, 'score': 0.9015291}, {'id': 'https://openalex.org/C169590947', 'wikidata': 'https://www.wikidata.org/wiki/Q47506', 'display_name': 'Compiler', 'level': 2, 'score': 0.830724}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.8202833}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.7548357}, {'id': 'https://openalex.org/C2780615836', 'wikidata': 'https://www.wikidata.org/wiki/Q2471869', 'display_name': 'USable', 'level': 2, 'score': 0.70969415}, {'id': 'https://openalex.org/C145912823', 'wikidata': 'https://www.wikidata.org/wiki/Q113558', 'display_name': 'Dynamics (music)', 'level': 2, 'score': 0.4750578}, {'id': 'https://openalex.org/C135257023', 'wikidata': 'https://www.wikidata.org/wiki/Q691358', 'display_name': 'Domain-specific language', 'level': 2, 'score': 0.45129037}, {'id': 'https://openalex.org/C115903868', 'wikidata': 'https://www.wikidata.org/wiki/Q80993', 'display_name': 'Software engineering', 'level': 1, 'score': 0.35932136}, {'id': 'https://openalex.org/C42383842', 'wikidata': 'https://www.wikidata.org/wiki/Q193076', 'display_name': 'Functional programming', 'level': 2, 'score': 0.35613653}, {'id': 'https://openalex.org/C136764020', 'wikidata': 'https://www.wikidata.org/wiki/Q466', 'display_name': 'World Wide Web', 'level': 1, 'score': 0.20037302}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, 'score': 0.0}, {'id': 'https://openalex.org/C24890656', 'wikidata': 'https://www.wikidata.org/wiki/Q82811', 'display_name': 'Acoustics', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 1, 'locations': [{'is_oa': False, 'landing_page_url': 'https://doi.org/10.1145/581690.581698', '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': [{'id': 'https://metadata.un.org/sdg/4', 'score': 0.43, 'display_name': 'Quality education'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 34, 'referenced_works': ['https://openalex.org/W1535217452', 'https://openalex.org/W1557561422', 'https://openalex.org/W1905449393', 'https://openalex.org/W1913632592', 'https://openalex.org/W1964211642', 'https://openalex.org/W1967061556', 'https://openalex.org/W1972301184', 'https://openalex.org/W1980166798', 'https://openalex.org/W1987203566', 'https://openalex.org/W2017532341', 'https://openalex.org/W2024398154', 'https://openalex.org/W2027048725', 'https://openalex.org/W2029408547', 'https://openalex.org/W2029684521', 'https://openalex.org/W2030916392', 'https://openalex.org/W2048569219', 'https://openalex.org/W2057292961', 'https://openalex.org/W2058137890', 'https://openalex.org/W2059895047', 'https://openalex.org/W2082367883', 'https://openalex.org/W2095136535', 'https://openalex.org/W2096314727', 'https://openalex.org/W2115128073', 'https://openalex.org/W2117552698', 'https://openalex.org/W2118227920', 'https://openalex.org/W2131828631', 'https://openalex.org/W2145945984', 'https://openalex.org/W2173304421', 'https://openalex.org/W2175912519', 'https://openalex.org/W2561675875', 'https://openalex.org/W2758816621', 'https://openalex.org/W2913811625', 'https://openalex.org/W4252656082', 'https://openalex.org/W4285719527'], 'related_works': ['https://openalex.org/W4242678340', 'https://openalex.org/W3185004093', 'https://openalex.org/W3004782279', 'https://openalex.org/W2140654465', 'https://openalex.org/W2129253059', 'https://openalex.org/W2112263414', 'https://openalex.org/W2090337950', 'https://openalex.org/W2046806568', 'https://openalex.org/W2028779182', 'https://openalex.org/W1602185604'], 'abstract_inverted_index': {'The': [0], 'recent': [1], 'years': [2], 'have': [3, 92], 'seen': [4], 'a': [5, 46, 78, 94], 'number': [6], 'of': [7], 'proposals': [8, 19], 'for': [9, 65], 'extending': [10], 'statically': [11], 'typed': [12], 'languages': [13], 'by': [14, 84], 'dynamics': [15, 53], 'or': [16], 'generics.': [17, 55], 'Most': [18], '---': [20, 24], 'if': [21], 'not': [22, 40], 'all': [23], 'require': [25], 'significant': [26], 'extensions': [27], 'to': [28, 70], 'the': [29, 42, 57, 106], 'underlying': [30], 'language.': [31], 'In': [32], 'this': [33, 38], 'paper': [34], 'we': [35, 91], 'show': [36], 'that': [37, 50, 97], 'need': [39], 'be': [41, 68], 'case.': [43], 'We': [44], 'propose': [45], 'particularly': [47], 'lightweight': [48], 'extension': [49], 'supports': [51], 'both': [52, 101], 'and': [54, 104], 'Furthermore,': [56], 'two': [58], 'features': [59], 'are': [60], 'smoothly': [61], 'integrated:': [62], 'dynamic': [63], 'values,': [64], 'instance,': [66], 'can': [67], 'passed': [69], 'generic': [71], 'functions.': [72], 'Our': [73], 'proposal': [74], 'makes': [75], 'do': [76], 'with': [77, 102, 105], 'standard': [79], 'Hindley-Milner': [80], 'type': [81], 'system': [82], 'augmented': [83], 'existential': [85], 'types.': [86], 'Building': [87], 'upon': [88], 'these': [89], 'ideas': [90], 'implemented': [93], 'small': [95], 'library': [96], 'is': [98], 'readily': [99], 'usable': [100], 'Hugs': [103], 'Glasgow': [107], 'Haskell': [108], 'compiler.': [109]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W2136177623', 'counts_by_year': [{'year': 2024, 'cited_by_count': 1}, {'year': 2023, 'cited_by_count': 1}, {'year': 2022, 'cited_by_count': 1}, {'year': 2021, 'cited_by_count': 3}, {'year': 2019, 'cited_by_count': 3}, {'year': 2018, 'cited_by_count': 2}, {'year': 2017, 'cited_by_count': 2}, {'year': 2016, 'cited_by_count': 5}, {'year': 2015, 'cited_by_count': 1}, {'year': 2014, 'cited_by_count': 4}, {'year': 2013, 'cited_by_count': 4}, {'year': 2012, 'cited_by_count': 7}], 'updated_date': '2024-12-10T20:55:06.799308', 'created_date': '2016-06-24'}