Towards a refactoring tool for dependently-typed programs (Extended abstract)
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.
Citation
Brown , C M , Barwell , A , Thompson , S , Sarkar , S & Brady , E C 2022 , ' Towards a refactoring tool for dependently-typed programs (Extended abstract) ' , Paper presented at 9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation , Haifa , Israel , 31/07/22 - 31/07/22 . workshop
Status
Peer reviewed
Type
Conference paper
Description
Funding: This work was generously supported by UK EPSRC Energise, grant number EP/V006290/1 (CMB).Collections
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.