On the public citation graph

Refactoring Functional Programs

https://doi.org/10.1007/11546382_9
0 signed · 49 inferred · view as graph

Inferred edges come from two machine sources: sweeps of open repository metadata (mostly SSRN and Zenodo), and a bulk OpenAlex citation snapshot. Every row below is labelled with the one it came from. Neither is a complete citation index — absence here is not evidence of absence.

Is this your work? Sign in with ORCID and put your name on the claims that are yours.
Claim with ORCID
Reference health. See whether every reference in this work resolves to a known work and none has been retracted — and get a dated CiteStamped badge you can embed.
See reference health

What this work says

Outgoing claims: the papers this work cites, builds on, or argues with.

inferredcites →https://doi.org/10.1002/(sici)1096-9942(1997)3:4<253::aid-tapo3>3.0.co;2-topenalex-snapshot
A refactoring tool for smalltalk
inferredcites →https://doi.org/10.1007/3-540-15975-4_37openalex-snapshot
Lambda lifting: Transforming programs to recursive equations
inferredcites →https://doi.org/10.1007/3-540-45672-4_31openalex-snapshot
Refactoring: Improving the Design of Existing Code
inferredcites →https://doi.org/10.1007/3-540-45949-9openalex-snapshot
Isabelle/HOL: A Proof Assistant for Higher-Order Logic
inferredcites →https://doi.org/10.1007/3-540-61055-3_27openalex-snapshot
Compiling Haskell by program transformation: A report from the trenches
inferredcites →https://doi.org/10.1007/3-540-64823-2_2openalex-snapshot
Functional programming: An angry half-dozen
inferredcites →https://doi.org/10.1007/978-1-4615-0883-0_10openalex-snapshot
Multi-Dimensional Separation of Concerns and the Hyperspace Approach
inferredcites →https://doi.org/10.1007/978-1-84882-032-6openalex-snapshot
Principles of Programming Languages
inferredcites →https://doi.org/10.1007/978-3-642-48673-9openalex-snapshot
The Unified Modeling Language
inferredcites →https://doi.org/10.1007/bf03160222openalex-snapshot
The new methodology
inferredcites →https://doi.org/10.1016/j.scico.2004.03.004openalex-snapshot
Monadification of functional programs
inferredcites →https://doi.org/10.1017/s0956796800001957openalex-snapshot
π-RED + An interactive compiling graph reduction system for an applied λ-calculus
inferredcites →https://doi.org/10.1145/1016848.1016883openalex-snapshot
Scrap more boilerplate
inferredcites →https://doi.org/10.1145/1328408.1328437openalex-snapshot
Tool support for refactoring functional programs
inferredcites →https://doi.org/10.1145/143165.143169openalex-snapshot
The essence of functional programming
inferredcites →https://doi.org/10.1145/152388.152389openalex-snapshot
Automated assistance for program restructuring
inferredcites →https://doi.org/10.1145/199448.199528openalex-snapshot
Monad transformers and modular interpreters
inferredcites →https://doi.org/10.1145/242224.242420openalex-snapshot
Aspect-oriented programming
inferredcites →https://doi.org/10.1145/321992.321996openalex-snapshot
A Transformation System for Developing Recursive Programs
inferredcites →https://doi.org/10.1145/356914.356917openalex-snapshot
Program Transformation Systems
inferredcites →https://doi.org/10.1145/359138.359140openalex-snapshot
The paradigms of programming
inferredcites →https://doi.org/10.1145/41625.41653openalex-snapshot
Views: a way for pattern matching to cohabit with data abstraction
inferredcites →https://doi.org/10.1145/581690.581692openalex-snapshot
A formal specification of the Haskell 98 module system
inferredcites →https://doi.org/10.1145/604174.604179openalex-snapshot
Scrap your boilerplate
inferredcites →https://doi.org/10.1145/72551.72554openalex-snapshot
Conception, evolution, and application of functional programming languages
inferredcites →https://doi.org/10.1145/871895.871899openalex-snapshot
Tool support for refactoring functional programs
inferredcites →https://doi.org/10.1145/871895.871907openalex-snapshot
Haskell tools from the programatica project
inferredcites →https://doi.org/10.5860/choice.47-3209openalex-snapshot
Principles of programming languages

What points at this work

Incoming claims: where this work appears in other papers’ reference lists and arguments.

inferred← citeshttps://doi.org/10.1007/978-3-031-71294-4_9openalex-snapshot
Towards Specification-Guarded Refactoring
inferred← citeshttps://doi.org/10.1007/978-3-642-17071-3_13openalex-snapshot
Property-Based Testing - The ProTest Project
inferred← citeshttps://doi.org/10.1007/978-3-642-22941-1_3openalex-snapshot
An Expression Processor: A Case Study in Refactoring Haskell Programs
inferred← citeshttps://doi.org/10.1007/s10664-025-10652-yopenalex-snapshot
Understanding refactorings in Elixir functional language
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82623-4openalex-snapshot
A Framework for Datatype Transformation
inferred← citeshttps://doi.org/10.1016/s1571-0661(05)82624-6openalex-snapshot
Refactoring: Current Research and Future Trends
inferred← citeshttps://doi.org/10.1109/scam.2006.8openalex-snapshot
Comparative Study of Refactoring Haskell and Erlang Programs
inferred← citeshttps://doi.org/10.1145/1328408.1328437openalex-snapshot
Tool support for refactoring functional programs
inferred← citeshttps://doi.org/10.1145/1636642.1636644openalex-snapshot
Tool support for refactoring functional programs
inferred← citeshttps://doi.org/10.1145/2491411.2491461openalex-snapshot
Crossing the gap from imperative to functional programming through refactoring
inferred← citeshttps://doi.org/10.1145/3406085.3409010openalex-snapshot
Transformations towards clean functional code
inferred← citeshttps://doi.org/10.1145/3411763.3451515openalex-snapshot
How Statically-Typed Functional Programmers Author Code
inferred← citeshttps://doi.org/10.1145/3485532openalex-snapshot
How statically-typed functional programmers write code
inferred← citeshttps://doi.org/10.1145/570186.570187openalex-snapshot
Design patterns for functional strategic programming
inferred← citeshttps://doi.org/10.1145/570186.570188openalex-snapshot
Towards generic refactoring
inferred← citeshttps://doi.org/10.22024/unikent/01.02.86457openalex-snapshot
Refactoring Haskell programs
inferred← citeshttps://doi.org/10.3311/pp.ee.2007-3-4.02openalex-snapshot
Refactoring Erlang programs
inferred← citeshttps://doi.org/10.48550/arxiv.1912.10816openalex-snapshot
Narrowing Down XML Template Expansion and Schema Validation
inferred← citeshttps://doi.org/10.48550/arxiv.cs/0204015openalex-snapshot
Design Patterns for Functional Strategic Programming
inferred← citeshttps://doi.org/10.5121/acij.2013.4302openalex-snapshot
A Model to Compare the Degree of Refactoring Opportunities of Three Projects Using A Machine Algorithm
inferred← citeshttps://doi.org/10.5555/3005729.3005730openalex-snapshot
Refactoring Dynamic Languages
Editorial review for independent work. ICSAC — the Institute for Complexity Science and Advanced Computing — runs a structured editorial panel for researchers publishing outside journals, and publishes on CiteStamp rails. Submission is free and goes through ORCID: icsacinstitute.org/submit.