Algorithms for Functional Programming

Source code libraries

• (afp adapters)
• (afp arithmetic)
• (afp bags)
• (afp binary-search-trees)
• (afp boxes)
• (afp breadth-first-traversal)
• (afp buffers)
• (afp bushes)
• (afp constant-procedures)
• (afp couplers)
• (afp depth-first-traversal)
• (afp extras)
• (afp flow-networks)
• (afp graphs)
• (afp heaps)
• (afp lists)
• (afp natural-numbers)
• (afp ordering-relations)
• (afp order-statistics)
• (afp pairs)
• (afp partitions)
• (afp paths)
• (afp permutations)
• (afp predicate-operations)
• (afp primitives)
• (afp procedure-sections)
• (afp products-and-selections)
• (afp recursion-managers)
• (afp red-black-tables)
• (afp red-black-trees)
• (afp sets)
• (afp shortest-paths Bellman-Ford)
• (afp shortest-paths Dijkstra)
• (afp shortest-paths Floyd-Warshall)
• (afp sorting)
• (afp sorting binary-search-tree-sort)
• (afp sorting heapsort)
• (afp sorting insertion-sort)
• (afp sorting mergesort)
• (afp sorting quicksort)
• (afp sorting selection-sort)
• (afp sources)
• (afp spanning-trees)
• (afp strings)
• (afp sublist-search Boyer-Moore)
• (afp sublist-search Knuth-Morris-Pratt)
• (afp sublist-search Rabin-Karp)
• (afp sublist-search simple-slow-sublist-search)
• (afp tables)
• (afp trees)

Test programs

• combinatorial-constructions.ss
• data-structures.ss
• essential-notations.ss
• graphs.ss
• primitives.ss
• sorting.ss
• sublist-search.ss
• testing-procedures.ss
• testing.ss
• tool-box.ss

Scaffolding

• (support random)
• (support testing-procedures)
• (support testing)

Tarball (gzipped tar file) containing the above

last revised January 13, 2017
John David Stone · reseda@grinnell.edu