The following pages link to Functional algorithm design (Q1916357):
Displaying 10 items.
- What is a sorting function? (Q843213) (← links)
- Algorithm theories and design tactics (Q918221) (← links)
- Design of sequential sorting algorithms: Classification, transformation, synthesis (Q1183773) (← links)
- Bridging the algorithm gap: A linear-time functional program for paragraph formatting (Q1961428) (← links)
- Calculating with acyclic and cyclic lists (Q1961861) (← links)
- Declarative pearl: deriving monadic quicksort (Q2039941) (← links)
- (Q3058231) (← links)
- Algebra of Programming Using Dependent Types (Q3521992) (← links)
- Algebra of programming in Agda: Dependent types for relational program derivation (Q3644935) (← links)
- Algorithms for Functional Programming (Q4558906) (← links)