Structural refactorings for exploring dependently typed programming

Adam David Barwell*, Christopher Mark Brown, Mun See Chang*, Constantine Theocharis*, Simon Thompson*

*Corresponding author for this work

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

In this paper we introduce a number of new refactorings for dependently typed programs in a small dependently typed functional programming language, called Fluid, with inductive types. We then present a number of refactorings for Fluid that introduce and refine dependent types. The refactorings are then demonstrated over a small expression language example.
Original languageEnglish
Title of host publicationStructural refactorings for exploring dependently typed programming
PublisherSpringer
Publication statusAccepted/In press - 2024

Keywords

  • Refactoring
  • Dependent types
  • Program transformation

Fingerprint

Dive into the research topics of 'Structural refactorings for exploring dependently typed programming'. Together they form a unique fingerprint.

Cite this