Add to ORKGWhile 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
Abstract. We propose a representation of interactive systems in dependent type theory. This is meant...
Types express a program's meaning, and checking types ensures that a program has the intended meanin...
A functional aspect is an aspect that has the semantics of a trans-formation; it is a function that ...
While there is considerable work on refactoring functional programs, so far this had not extended to...
Funding: This work was generously supported by UK EPSRC Energise, grant number EP/V006290/1 (CMB).Wh...
Dependently typed programming languages allow sophisticated properties of data to be expressed withi...
In these lecture notes we give an introduction to functional programming with dependent types. We us...
Refactoring is the process of changing the design of a program without changing what it does. Typica...
Refactoring is the process of redesigning existing code without changing its functionality. Refactor...
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 ...
Modern dependently typed functional programming languages like Agda allow very specific restrictions...
Dependently typed programming languages allow sophisticated properties ofdata to be expressed within...
In recent years, dependent type systems have gathered interest because they make it possible to expr...
A dependently typed functional programming language is implemented with row polymorphism and extensi...
Abstract. We propose a representation of interactive systems in dependent type theory. This is meant...
Types express a program's meaning, and checking types ensures that a program has the intended meanin...
A functional aspect is an aspect that has the semantics of a trans-formation; it is a function that ...
While there is considerable work on refactoring functional programs, so far this had not extended to...
Funding: This work was generously supported by UK EPSRC Energise, grant number EP/V006290/1 (CMB).Wh...
Dependently typed programming languages allow sophisticated properties of data to be expressed withi...
In these lecture notes we give an introduction to functional programming with dependent types. We us...
Refactoring is the process of changing the design of a program without changing what it does. Typica...
Refactoring is the process of redesigning existing code without changing its functionality. Refactor...
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 ...
Modern dependently typed functional programming languages like Agda allow very specific restrictions...
Dependently typed programming languages allow sophisticated properties ofdata to be expressed within...
In recent years, dependent type systems have gathered interest because they make it possible to expr...
A dependently typed functional programming language is implemented with row polymorphism and extensi...
Abstract. We propose a representation of interactive systems in dependent type theory. This is meant...
Types express a program's meaning, and checking types ensures that a program has the intended meanin...
A functional aspect is an aspect that has the semantics of a trans-formation; it is a function that ...