Refactoring functional programs

Authors:
Simon Thompson
Affiliations:
Computing Laboratory, University of Kent, Canterbury, Kent, United Kingdom
Venue:
AFP'04 Proceedings of the 5th international conference on Advanced Functional Programming
Year:
2004

Citing 14
Cited 3

Views: a way for pattern matching to cohabit with data abstraction

POPL '87 Proceedings of the 14th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
Automated assistance for program restructuring

ACM Transactions on Software Engineering and Methodology (TOSEM)
Refactoring object-oriented frameworks

Refactoring object-oriented frameworks
Monad transformers and modular interpreters

POPL '95 Proceedings of the 22nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages
The paradigms of programming

Communications of the ACM
Principles of Programming Languages

Principles of Programming Languages
A formal specification of the Haskell 98 module system

Proceedings of the 2002 ACM SIGPLAN workshop on Haskell
Scrap your boilerplate: a practical design pattern for generic programming

Proceedings of the 2003 ACM SIGPLAN international workshop on Types in languages design and implementation
Reuse by Program Transformation

SFP '99 Selected papers from the 1st Scottish Functional Programming Workshop (SFP99)
Tool support for refactoring functional programs

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Haskell tools from the programatica project

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Scrap more boilerplate: reflection, zips, and generalised casts

Proceedings of the ninth ACM SIGPLAN international conference on Functional programming
Monadification of functional programs

Science of Computer Programming - Special issue on program transformation
Isabelle/HOL: a proof assistant for higher-order logic

Isabelle/HOL: a proof assistant for higher-order logic

Haskell tools from the programatica project

Haskell '03 Proceedings of the 2003 ACM SIGPLAN workshop on Haskell
Property-based testing: the ProTest project

FMCO'09 Proceedings of the 8th international conference on Formal methods for components and objects
Crossing the gap from imperative to functional programming through refactoring

Proceedings of the 2013 9th Joint Meeting on Foundations of Software Engineering

Quantified Score

Hi-index	0.00

Visualization

Abstract

Refactoring is the process of improving the design of existing programs without changing their functionality. These notes cover refactoring in functional languages, using Haskell as the medium, and introducing the HaRe tool for refactoring in Haskell.