Ornaments provide a way to express transformations of inductive datatypes that reorganize,
specialize, and add fields to already existing datatypes. From such a transformation, we …

Refactoring is the process of redesigning existing code without changing its functionality.
Refactoring has recently come to prominence in the OO community. In this paper we explore …

Towards a Refactoring Tool for Dependently-Typed Programs Extended Abstract Page 1
Submitted to: WPTE 2022 © C. Brown & AD Barwell & S. Thompson & E. Brady This work is …

In functional programming, intermediate data structures are often used to “glue” together
small programs. Deforestation is a program transformation to remove these intermediate …

There is a gap between refactoring tools and generalpurpose program transformation tools
that has yet to be filled. Refactoring tools are easy to use and wellestablished, but provide …

Refactoring is the process of changing the design of a program without changing what it
does. Typical refactorings, such as function extraction and generalisation, are intended to …

AbstractMondrian'Meij96] is a lazy functional language currently being developed by Erik
Meijer et al. The compiler process consists mainly of source-to-source transformations. This …

Functional languages allow a modular programming style by function composition, which
however can lead to inefficient runtime behavior due to production and consumption of …

Defunctionalization is generally considered a whole-program transformation and thus
incompatible with separate compilation. In this paper, we formalize a modular variant of …

Refactoring tools are commonly used for remodularization tasks. Basic refactoring
operations are combined to perform complex program transformations, but the resulting …