Towards a refactoring tool for dependently-typed programs (Extended abstract)
MetadataShow full item record
Altmetrics Handle Statistics
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.
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
Copyright © 2022 C. Brown & A.D. Barwell & S. Thompson & E. Brady This work is licensed under the Creative Commons Attribution License.
DescriptionFunding: This work was generously supported by UK EPSRC Energise, grant number EP/V006290/1 (CMB).
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.