Add to ORKGFunding: This work was generously supported by UK EPSRC Energise, grant number EP/V006290/1 (CMB).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.PreprintPeer reviewe
Robin Milner coined the slogan well typed programs cannot go wrong, advertising the power of types i...
Dependent types can be used to capture useful properties about programs at compile time. However, de...
Programming languages based on dependent type theory promise two great advances: flexibility and sec...
While there is considerable work on refactoring functional programs, so far this had not extended to...
While there is considerable work on refactoring functional programs, so far this had not extended to...
Research in dependent type theories [ML71a] has, in the past, concentrated on its use in the present...
Abstract. Dependently typed programming languages allow sophisticated properties of data to be expre...
Dependent type systems allow for a rich set of program properties to be expressed and mechanically v...
Dependently typed programming languages allow sophisticated properties of data to be expressed withi...
From 12.09.04 to 17.09.04, the Dagstuhl Seminar 04381 ``Dependently Typed Programming\u27\u27 was h...
Refactoring is the process of redesigning existing code without changing its functionality. Refactor...
We will evaluate three dependently typed languages, and their supporting tools and libraries, by im...
Dependently typed programming languages allow sophisticated properties of data to be expressed withi...
Dependently-typed functional languages are increasingly popular, but due to the complexity of their ...
Types express a program's meaning, and checking types ensures that a program has the intended meanin...
Robin Milner coined the slogan well typed programs cannot go wrong, advertising the power of types i...
Dependent types can be used to capture useful properties about programs at compile time. However, de...
Programming languages based on dependent type theory promise two great advances: flexibility and sec...
While there is considerable work on refactoring functional programs, so far this had not extended to...
While there is considerable work on refactoring functional programs, so far this had not extended to...
Research in dependent type theories [ML71a] has, in the past, concentrated on its use in the present...
Abstract. Dependently typed programming languages allow sophisticated properties of data to be expre...
Dependent type systems allow for a rich set of program properties to be expressed and mechanically v...
Dependently typed programming languages allow sophisticated properties of data to be expressed withi...
From 12.09.04 to 17.09.04, the Dagstuhl Seminar 04381 ``Dependently Typed Programming\u27\u27 was h...
Refactoring is the process of redesigning existing code without changing its functionality. Refactor...
We will evaluate three dependently typed languages, and their supporting tools and libraries, by im...
Dependently typed programming languages allow sophisticated properties of data to be expressed withi...
Dependently-typed functional languages are increasingly popular, but due to the complexity of their ...
Types express a program's meaning, and checking types ensures that a program has the intended meanin...
Robin Milner coined the slogan well typed programs cannot go wrong, advertising the power of types i...
Dependent types can be used to capture useful properties about programs at compile time. However, de...
Programming languages based on dependent type theory promise two great advances: flexibility and sec...