AbstractWe demonstrate the Haskell Refactorer, HaRe, both as an example of a fully-functional tool for a complete (functional) programming language, and to show the API which HaRe provides for building source-level program transformations for Haskell. We comment on the challenges presented by the construction of this and similar tools for language frameworks and processors
Functional programming languages such as Haskell are fundamentally different from imperative languag...
PosterNational audienceModular programming is a practical solution for separation of concerns but th...
The functional programming language Haskell is examined from the point of view of proving programs c...
We demonstrate the Haskell Refactorer, HaRe, both as an example of a fully-functional tool for a com...
AbstractWe demonstrate the Haskell Refactorer, HaRe, both as an example of a fully-functional tool f...
We present the Haskell Refactorer, HaRe, and the Erlang Refactorer, Wrangler, as examples of fully-f...
Refactoring is the process of changing the design of a program without changing what it does. Typica...
Abstract: Refactoring is a technique for improving the design of existing pro-grams without changing...
HaRe [?] is a system developed at the University of Kent Computing Laboratory to support refactoring...
Abstract. Refactoring is the process of changing the structure of a pro-gram while preserving its be...
Refactoring is about changing the design of existing code without changing its behaviour, but with t...
Refactorings are source-to-source program transformations which change program structure and organis...
Agile software development allows for software to evolve slowly over time. Decisions made during th...
Refactoring is the process of redesigning existing code without changing its functionality. Refactor...
Functional programming languages such as Haskell are fundamentally different from imperative languag...
Functional programming languages such as Haskell are fundamentally different from imperative languag...
PosterNational audienceModular programming is a practical solution for separation of concerns but th...
The functional programming language Haskell is examined from the point of view of proving programs c...
We demonstrate the Haskell Refactorer, HaRe, both as an example of a fully-functional tool for a com...
AbstractWe demonstrate the Haskell Refactorer, HaRe, both as an example of a fully-functional tool f...
We present the Haskell Refactorer, HaRe, and the Erlang Refactorer, Wrangler, as examples of fully-f...
Refactoring is the process of changing the design of a program without changing what it does. Typica...
Abstract: Refactoring is a technique for improving the design of existing pro-grams without changing...
HaRe [?] is a system developed at the University of Kent Computing Laboratory to support refactoring...
Abstract. Refactoring is the process of changing the structure of a pro-gram while preserving its be...
Refactoring is about changing the design of existing code without changing its behaviour, but with t...
Refactorings are source-to-source program transformations which change program structure and organis...
Agile software development allows for software to evolve slowly over time. Decisions made during th...
Refactoring is the process of redesigning existing code without changing its functionality. Refactor...
Functional programming languages such as Haskell are fundamentally different from imperative languag...
Functional programming languages such as Haskell are fundamentally different from imperative languag...
PosterNational audienceModular programming is a practical solution for separation of concerns but th...
The functional programming language Haskell is examined from the point of view of proving programs c...
DOI
Add to ORKG