A Haskell Library for Term Rewriting

Name: Work Video:
Duration: 3 min 30 s
Description: We present a Haskell library for first-order term rewriting covering basic operations on positions, terms, contexts, substitutions and rewrite rules. This effort is motivated by the increasing number of term rewriting tools that are written in Haskell.
Bertram Felgenhauer; Martin Avanzini; Christian Sternagel
{'id': 'https://openalex.org/W1557178190', 'doi': 'https://doi.org/10.48550/arxiv.1307.2328', 'title': 'A Haskell Library for Term Rewriting', 'display_name': 'A Haskell Library for Term Rewriting', 'publication_year': 2013, 'publication_date': '2013-01-01', 'ids': {'openalex': 'https://openalex.org/W1557178190', 'doi': 'https://doi.org/10.48550/arxiv.1307.2328', 'mag': '1557178190'}, 'language': 'en', 'primary_location': {'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/1307.2328', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': 'other-oa', 'license_id': 'https://openalex.org/licenses/other-oa', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'type': 'preprint', 'type_crossref': 'posted-content', 'indexed_in': ['datacite'], 'open_access': {'is_oa': True, 'oa_status': 'green', 'oa_url': 'https://arxiv.org/abs/1307.2328', 'any_repository_has_fulltext': True}, 'authorships': [{'author_position': 'first', 'author': {'id': 'https://openalex.org/A5030609925', 'display_name': 'Bertram Felgenhauer', 'orcid': None}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Bertram Felgenhauer', 'raw_affiliation_strings': [], 'affiliations': []}, {'author_position': 'middle', 'author': {'id': 'https://openalex.org/A5048841494', 'display_name': 'Martin Avanzini', 'orcid': 'https://orcid.org/0000-0002-6445-8833'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Martin Avanzini', 'raw_affiliation_strings': [], 'affiliations': []}, {'author_position': 'last', 'author': {'id': 'https://openalex.org/A5000575454', 'display_name': 'Christian Sternagel', 'orcid': 'https://orcid.org/0000-0001-9864-1014'}, 'institutions': [], 'countries': [], 'is_corresponding': False, 'raw_author_name': 'Christian Sternagel', 'raw_affiliation_strings': [], 'affiliations': []}], 'institution_assertions': [], 'countries_distinct_count': 0, 'institutions_distinct_count': 0, 'corresponding_author_ids': [], 'corresponding_institution_ids': [], 'apc_list': None, 'apc_paid': None, 'fwci': None, 'has_fulltext': False, 'cited_by_count': 4, 'citation_normalized_percentile': {'value': 0.822409, 'is_in_top_1_percent': False, 'is_in_top_10_percent': False}, 'cited_by_percentile_year': {'min': 78, 'max': 80}, '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.9994, '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.9994, '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/T10181', 'display_name': 'Natural Language Processing Techniques', 'score': 0.9953, '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/T10215', 'display_name': 'Semantic Web and Ontologies', 'score': 0.991, '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.9823212}], 'concepts': [{'id': 'https://openalex.org/C2780624054', 'wikidata': 'https://www.wikidata.org/wiki/Q34010', 'display_name': 'Haskell', 'level': 3, 'score': 0.9823212}, {'id': 'https://openalex.org/C154690210', 'wikidata': 'https://www.wikidata.org/wiki/Q1668499', 'display_name': 'Rewriting', 'level': 2, 'score': 0.89227307}, {'id': 'https://openalex.org/C61797465', 'wikidata': 'https://www.wikidata.org/wiki/Q1188986', 'display_name': 'Term (time)', 'level': 2, 'score': 0.78102136}, {'id': 'https://openalex.org/C199360897', 'wikidata': 'https://www.wikidata.org/wiki/Q9143', 'display_name': 'Programming language', 'level': 1, 'score': 0.62622553}, {'id': 'https://openalex.org/C41008148', 'wikidata': 'https://www.wikidata.org/wiki/Q21198', 'display_name': 'Computer science', 'level': 0, 'score': 0.61429346}, {'id': 'https://openalex.org/C42383842', 'wikidata': 'https://www.wikidata.org/wiki/Q193076', 'display_name': 'Functional programming', 'level': 2, 'score': 0.38292447}, {'id': 'https://openalex.org/C121332964', 'wikidata': 'https://www.wikidata.org/wiki/Q413', 'display_name': 'Physics', 'level': 0, 'score': 0.05971831}, {'id': 'https://openalex.org/C62520636', 'wikidata': 'https://www.wikidata.org/wiki/Q944', 'display_name': 'Quantum mechanics', 'level': 1, 'score': 0.0}], 'mesh': [], 'locations_count': 2, 'locations': [{'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/1307.2328', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': 'other-oa', 'license_id': 'https://openalex.org/licenses/other-oa', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, {'is_oa': False, 'landing_page_url': 'https://api.datacite.org/dois/10.48550/arxiv.1307.2328', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4393179698', 'display_name': 'DataCite API', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I4210145204', 'host_organization_name': 'DataCite', 'host_organization_lineage': ['https://openalex.org/I4210145204'], 'host_organization_lineage_names': ['DataCite'], 'type': 'metadata'}, 'license': None, 'license_id': None, 'version': None}], 'best_oa_location': {'is_oa': True, 'landing_page_url': 'https://arxiv.org/abs/1307.2328', 'pdf_url': None, 'source': {'id': 'https://openalex.org/S4306400194', 'display_name': 'arXiv (Cornell University)', 'issn_l': None, 'issn': None, 'is_oa': True, 'is_in_doaj': False, 'is_core': False, 'host_organization': 'https://openalex.org/I205783295', 'host_organization_name': 'Cornell University', 'host_organization_lineage': ['https://openalex.org/I205783295'], 'host_organization_lineage_names': ['Cornell University'], 'type': 'repository'}, 'license': 'other-oa', 'license_id': 'https://openalex.org/licenses/other-oa', 'version': 'submittedVersion', 'is_accepted': False, 'is_published': False}, 'sustainable_development_goals': [{'score': 0.44, 'display_name': 'Quality education', 'id': 'https://metadata.un.org/sdg/4'}], 'grants': [], 'datasets': [], 'versions': [], 'referenced_works_count': 7, 'referenced_works': ['https://openalex.org/W1482572800', 'https://openalex.org/W1494959176', 'https://openalex.org/W1544079619', 'https://openalex.org/W1583295953', 'https://openalex.org/W2106192381', 'https://openalex.org/W2148944677', 'https://openalex.org/W2278369388'], 'related_works': ['https://openalex.org/W3004782279', 'https://openalex.org/W2764317176', 'https://openalex.org/W2168393711', 'https://openalex.org/W2132325017', 'https://openalex.org/W2112263414', 'https://openalex.org/W2099473324', 'https://openalex.org/W2030557042', 'https://openalex.org/W1966969028', 'https://openalex.org/W1671914757', 'https://openalex.org/W1557178190'], 'abstract_inverted_index': {'We': [0], 'present': [1], 'a': [2], 'Haskell': [3], 'library': [4], 'for': [5], 'first-order': [6], 'term': [7, 29], 'rewriting': [8, 30], 'covering': [9], 'basic': [10], 'operations': [11], 'on': [12], 'positions,': [13], 'terms,': [14], 'contexts,': [15], 'substitutions': [16], 'and': [17], 'rewrite': [18], 'rules.': [19], 'This': [20], 'effort': [21], 'is': [22], 'motivated': [23], 'by': [24], 'the': [25], 'increasing': [26], 'number': [27], 'of': [28], 'tools': [31], 'that': [32], 'are': [33], 'written': [34], 'in': [35], 'Haskell.': [36]}, 'cited_by_api_url': 'https://api.openalex.org/works?filter=cites:W1557178190', 'counts_by_year': [{'year': 2019, 'cited_by_count': 1}, {'year': 2018, 'cited_by_count': 1}, {'year': 2017, 'cited_by_count': 1}, {'year': 2016, 'cited_by_count': 1}], 'updated_date': '2024-12-17T07:51:02.015282', 'created_date': '2016-06-24'}
Publication Information

Basic Information

Access and Citation

AI Researcher Chatbot

Primary Location

Authors

Topics

Keywords

Related Works
