Files in this item
Towards a refactoring tool for dependently-typed programs (Extended abstract)
Item metadata
dc.contributor.author | Brown, Christopher Mark | |
dc.contributor.author | Barwell, Adam | |
dc.contributor.author | Thompson, Simon | |
dc.contributor.author | Sarkar, Susmit | |
dc.contributor.author | Brady, Edwin Charles | |
dc.date.accessioned | 2022-07-06T09:30:15Z | |
dc.date.available | 2022-07-06T09:30:15Z | |
dc.date.issued | 2022-07-31 | |
dc.identifier | 280313472 | |
dc.identifier | 524f3bad-97be-448a-bb6e-8199e4054e7f | |
dc.identifier.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 . | en |
dc.identifier.citation | workshop | en |
dc.identifier.other | ORCID: /0000-0001-6030-2885/work/116597855 | |
dc.identifier.other | ORCID: /0000-0002-9734-367X/work/116598136 | |
dc.identifier.other | ORCID: /0000-0002-4259-9213/work/125727589 | |
dc.identifier.uri | https://hdl.handle.net/10023/25612 | |
dc.description | Funding: This work was generously supported by UK EPSRC Energise, grant number EP/V006290/1 (CMB). | en |
dc.description.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. | |
dc.format.extent | 8 | |
dc.format.extent | 178325 | |
dc.language.iso | eng | |
dc.subject | Refactoring | en |
dc.subject | Dependent-types | en |
dc.subject | QA75 Electronic computers. Computer science | en |
dc.subject | MCP | en |
dc.subject.lcc | QA75 | en |
dc.title | Towards a refactoring tool for dependently-typed programs (Extended abstract) | en |
dc.type | Conference paper | en |
dc.contributor.sponsor | EPSRC | en |
dc.contributor.institution | University of St Andrews. School of Computer Science | en |
dc.contributor.institution | University of St Andrews. Centre for Interdisciplinary Research in Computational Algebra | en |
dc.description.status | Peer reviewed | en |
dc.identifier.grantnumber | EP/V006290/1 | en |
This item appears in the following Collection(s)
Items in the St Andrews Research Repository are protected by copyright, with all rights reserved, unless otherwise indicated.