Artificial Intelligence and Applications / 794: Modelling, Identification and Control / 795: Parallel and Distributed Computing 2013
DOI: 10.2316/p.2013.796-015
|View full text |Cite
|
Sign up to set email alerts
|

Higher-Order Catamorphisms as Bases for Program Structuring and Design Recovery

Abstract: Catamorphisms ("foldr" on lists, but generally applicable to any regular recursive datatype) are not just useful but are an effective basis for a recursion-pattern-based discipline of program design. A new presentation for catamorphisms makes it clear how they provide functional semantics for symbolic datatypes, with the capacity to expose significant variations in program design. A further development of the new presentation exploits the higherorder capabilities of functional languages. This is the key enable… Show more

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
1
0

Publication Types

Select...
1

Relationship

0
1

Authors

Journals

citations
Cited by 1 publication
(1 citation statement)
references
References 13 publications
0
1
0
Order By: Relevance
“…Bailes and Brough have shown how these recursion patterns can be used as the basis for a simplified, sub-recursive style of programming [BB13], and with Kemp, that this can therefore provide a useful basis for program structuring as well as recovery of designs from source code [BBK12]. Because category theory applies well to describing abstract type system structures, it has therefore also been used as a basis for generic (polytypic) programming [BJJM99,Hin12].…”
Section: Initial Algebrasmentioning
confidence: 99%
“…Bailes and Brough have shown how these recursion patterns can be used as the basis for a simplified, sub-recursive style of programming [BB13], and with Kemp, that this can therefore provide a useful basis for program structuring as well as recovery of designs from source code [BBK12]. Because category theory applies well to describing abstract type system structures, it has therefore also been used as a basis for generic (polytypic) programming [BJJM99,Hin12].…”
Section: Initial Algebrasmentioning
confidence: 99%