Towards a refactoring tool for dependently-typed programs (Extended abstract)

Research output: Contribution to conferencePaperpeer-review

18 Downloads (Pure)

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.
Original languageEnglish
Number of pages8
Publication statusPublished - 31 Jul 2022
Event9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation - Haifa, Haifa, Israel
Duration: 31 Jul 202231 Jul 2022
Conference number: 9
https://wpte2022.github.io/

Workshop

Workshop9th International Workshop on Rewriting Techniques for Program Transformations and Evaluation
Abbreviated titleWPTE 2022
Country/TerritoryIsrael
CityHaifa
Period31/07/2231/07/22
Internet address

Keywords

  • Refactoring
  • Dependent-types

Fingerprint

Dive into the research topics of 'Towards a refactoring tool for dependently-typed programs (Extended abstract)'. Together they form a unique fingerprint.

Cite this