The Craft of Functional Programming

The Craft of Functional Programming (1999)

Cached

Download Links

by Simon Thompson

Citations:

BibTeX

@INPROCEEDINGS{Thompson99thecraft,
    author = {Simon Thompson},
    title = {The Craft of Functional Programming},
    booktitle = {},
    year = {1999},
    publisher = {Addison-Wesley}
}

Years of Citing Articles

Bookmark

OpenURL

Abstract

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. 1

Citations

1363	Aspect-oriented programming - Kiczales, Lamping, et al. - 1997
1225	The essence of functional programming - Wadler - 1992
1112	Refactoring: Improving the Design of Existing Code - Fowler, Beck, et al. - 1999
585	Isabelle/HOL: A Proof Assistant for Higher-Order Logic - Nipkow, Paulson, et al. - 2002
533	A transformation system for developing recursive programs - Burstall, Darlington - 1977
386	Isabelle: A generic theorem prover - Paulson - 1994
327	Refactoring Object-Oriented Frameworks - Opdyke - 1992
213	Monad transformers and modular interpreters - Liang, Hudak, et al. - 1995
174	Call-by-name, call-by-value and the λ-calculus - Plotkin - 1976
173	Multi-dimensional separation of concerns in hyperspace - Ossher, Tarr - 1999
164	Semantics of Programming Languages - Tennent - 1991
159	Lambda lifting: Transforming programs to recursive equations - Johnsson - 1985
128	A refactoring tool for Smalltalk. Theory and Practice of Object Systems - Roberts, Brant, et al. - 1997
108	Scrap your boilerplate: A practical design pattern for generic programming - Lämmel, Jones - 2003
102	Program Transformation Systems - Partsch, Steinbrüggen - 1983
98	Separation of Concerns - Hursch, Lopes - 1995
97	Practical Analysis for Refactoring - Roberts - 1999
90	Automated assistance for program restructuring - Griswold, Notkin - 1993
79	Program restructuring as an aid to software maintenance - Griswold - 1991
75	evolution, and application of functional programming languages - Conception - 1989
52	Compiling Haskell by program transformation: a report from the trenches - Jones
49	Scrap more boilerplate: reflection, zips, and generalised casts - Lämmel, Jones - 2004
44	Refactoring: Improving the design of existing code. Object Technology Series - Fowler - 1999
37	Tool Support for Refactoring Functional Programs - Li, Reinke, et al. - 2003
29	Program transformation - Darlington
24	The paradigms of Programming - Floyd - 1979
14	Reuse by Program Transformation - Lämmel
14	Static Analysis for a Software Transformation Tool - Morgenthaler - 1996
12	The new methodology. http://www.martinfowler.com/articles/newMethodology.html - Fowler - 2001
11	A formal specification of the haskell 98 module system - Diatchki, Jones, et al. - 2002
10	Functional Programming: An angry half-dozen - Wadler - 1998
7	π-RED + : An interactive compiling graph reduction system for an applied λ-calculus - Gärtner, Kluge - 1996
7	The Glasgow Haskell Compiler. http://www.haskell.org/ghc - GHC
6	Erwig and Deling Ren. Monadification of functional programs - Martin - 2004
6	Extreme programming: A gentle introduction - Wells - 2009
4	A case study in refactoring functional programs - Thompson, Reinke - 2003
3	A User’s Guide for the Reduction System π-RED - Kluge - 1994
3	A Catalogue of Functional Refactorings, Version 1. http://www.cs.ukc.ac.uk/ people/staff/sjt/Refactor - Thompson, Reinke - 2001
2	FAD: A Functional Analysis and Design Methodology - Russell - 2001
1	Had. The Haddock documentation system for - Hallgren - 1993
1	Lämmel and Joost Visser. Generic Programming with Strafunski - Ralf - 2001
1	Nguyen Viet. Transformation in HaRe - Chau - 2004
1	ML-Style Typing, Lambda Lifting, and Partial Evaluation - Thiemann - 1999