Brown, Christopher, Barwell, Adam D., Thompson, Simon, Sarkar, Susmit, Brady, Edwin (2022) Towards a Refactoring Tool for Dependently-Typed Programs Extended Abstract. [Conference item] (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 item (UNSPECIFIED) |
|---|---|
| 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, |
| Institutional Unit: | Schools > School of Computing |
| Former Institutional Unit: |
Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
|
| Depositing User: | Simon Thompson |
| Date Deposited: | 17 Feb 2023 10:24 UTC |
| Last Modified: | 17 Mar 2026 09:27 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):
Total Views
Total Views
