Brown, Christopher, Barwell, Adam D., Thompson, Simon, Sarkar, Susmit, Brady, Edwin (2022) Towards a Refactoring Tool for Dependently-Typed Programs Extended Abstract. In: 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation, 31 July 2022, Haifa, Israel. (Unpublished) (KAR id:100123)
|
PDF
Author's Accepted Manuscript
Language: English 
This work is licensed under a Creative Commons Attribution 4.0 International License.
|
|
|
Download this file (PDF/277kB) |
Preview |
| Request a format suitable for use with assistive technology e.g. a screenreader | |
| Official URL: https://wpte2022.github.io/ |
|
Abstract
While there is considerable work on refactoring functional programs, so far this had not extended to dependently-typed programs. In this paper, we begin to explore this space by looking at a range of transformations related to indexed data and functions.
| Item Type: | Conference or workshop item (Paper) |
|---|---|
| Uncontrolled keywords: | Refactoring, Dependent-types |
| Subjects: |
Q Science > QA Mathematics (inc Computing science) Q Science > QA Mathematics (inc Computing science) > QA 76 Software, computer programming, |
| Divisions: | Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing |
| Depositing User: | S. Thompson |
| Date Deposited: | 17 Feb 2023 10:24 UTC |
| Last Modified: | 20 Feb 2023 10:34 UTC |
| Resource URI: | https://kar.kent.ac.uk/id/eprint/100123 (The current URI for this page, for reference purposes) |
University of Kent Author Information
Thompson, Simon.
| Creator's ORCID: |
 https://orcid.org/0000-0002-2350-301X
|
|---|---|
| CReDIT Contributor Roles: |
- Link to SensusAccess
- Export to:
- RefWorks
- EPrints3 XML
- BibTeX
- CSV
- Depositors only (login required):
Download Statistics
Download Statistics
